Worskshop Information
Sandip Ray
David Russinoff
Publication Information
Ruben Gamboa
ACL2 Theorem Prover
Matt Kaufmann
J Strother Moore