Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
On-Campus Access Only (IP based access)