FMCAD 2010
Formal Methods in Computer Aided Design
Lugano, Switzerland
October 20 - 23

Submission is not yet open.