FMCAD 2020: FORMAL METHODS IN COMPUTER AIDED DESIGN
Ziv Nevo
Affiliation: IBM Haifa Research Lab
Web page: https://researcher.ibm.com/researcher/view.php?person=il-NEVO
Pages in this Program
Program
Program for Tuesday, September 22nd