FMCAD 2019: FORMAL METHODS IN COMPUTER-AIDED DESIGN 2019
Pramod Subramanyan
Organization: Indian Institute of Technology Kanpur
Web page: https://cse.iitk.ac.in/users/spramod
Pages in this Program
Program
Program for Thursday, October 24th