FMCAD 2007
Formal Methods in Computer Aided Design
Austin, TX, USA
November 11 - 14
  • 7th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2007)