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