FMCAD 2007
Formal Methods in Computer Aided Design
Austin, TX, USA
November 11 - 14