Combining ACL2 and an Automated Verification Tool to Verify a Multiplier (2006)

by E Reeber, J Sawada
Venue:Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2006