FMCAD 2012

Formal Methods in Computer-Aided Design
Cambridge, UK
October 22-25