發送短信: Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications May 11-12, 2009, Northeastern University, Boston, MA, USA. [electronic resource] :