Vikash Kodati

According to our database, Vikash Kodati authored at least 1 paper in 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2003

A Java Card CAP converter in PVS.

Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie

Proceedings of the Compiler Optimization Meets Compiler Verification, 2003