Vignesh Gowda

According to our database, Vignesh Gowda authored at least 1 paper in 2015.

Collaborative distances:

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

2015

Towards verification of hybrid systems in a foundational proof assistant.

Daniel Ricketts, Gregory Malecha, Mario M. Alvarez, Vignesh Gowda, Sorin Lerner

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015