ACL2 2009
ACL2 2009
Eighth International Workshop On The ACL2 Theorem Prover and Its Applications
May 11-12, 2009
Boston, MA, USA