Vikash Kodati

	2003
1		Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie: A Java Card CAP converter in PVS. Electr. Notes Theor. Comput. Sci. 82(2): (2003)

Coauthor Index

1	Thomas Genet	[1]
2	Thomas P. Jensen	[1]
3	David Pichardie	[1]