FMCAD 2011
Formal Methods in Computer-Aided Design
Austin, TX, USA
October 30 - November 2