Devi Shanmugam

According to our database, Devi Shanmugam authored at least 1 paper in 2006.

Collaborative distances:

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

2006

Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning.

Tilman Glökler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006