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

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