Author Description

Eighth International Workshop On The ACL2 Theorem Prover and Its Applications May 11, 2009-May 12, 2009 Boston, USA. You can view more information about this proceeding and all of ACM's other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.