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