Prashant Shanti

According to our database, Prashant Shanti authored at least 1 paper in 2004.

Collaborative distances:

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

2004

Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems.

Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh

Proceedings of the Fundamental Approaches to Software Engineering, 2004