FMCAD 2018: FORMAL METHODS IN COMPUTER AIDED DESIGN 2018
Moshe Vardi
Organization: Rice University
Web page: http://www.cs.rice.edu/~vardi
Pages in this Program
Program
Program for Thursday, November 1st