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