FMCAD 2009
Formal Methods in Computer Aided Design
Austin, Texas, USA
November 15 - 18


136

Barbara Jobstmann, Jun Sawada, Hari Mony, Roderick Bloem, Arie Gurfinkel ...