Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
ACM Digital Library