Login / Signup
Vikash Kodati
Publication Activity (10 Years)
Years Active: 2003-2003
Publications (10 Years): 0
</>
Publications
</>
Thomas Genet
,
Thomas P. Jensen
,
Vikash Kodati
,
David Pichardie
A Java Card CAP converter in PVS.
Electron. Notes Theor. Comput. Sci.
82 (2) (2003)