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

by J S Moore
Venue:Lecture Notes of the Marktoberdorf 2002 Summer School, LNCS