Proving Theorems about Java and the JVM with ACL2 (2003)

by J S Moore
Venue:Models, Algebras, and Logic of Engineering Software