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

by J Strother Moore
Venue:Models, Algebras and Logic of Engineering Software
Citations:19 - 10 self