Tej Arora

According to our database, Tej Arora authored at least 1 paper in 1993.

Collaborative distances:

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

1993

Report on the UCD Microcoded Viper Verification Project.

Tej Arora, Tony Leung, Karl N. Levitt, E. Thomas Schubert, Phillip J. Windley

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993