Subendhu Rongali
Subendhu Rongali
Home
News
Publications
Experience
Teaching
Projects
Contact
Resume
Arjun Guha
Latest
Proof completion in the formal verification language - Coq
Cite
×