Formal Methods in Computer-Aided Design, 2009. FMCAD 2009 by ACM Special Interest Group on Design Automation | Menrva Books | MenrvaBooks