Formal Models of Java at the JVM Level A Survey from the ACL2 Perspective (2001)

by J Strother Moore , Robert Krug , Hanbing Liu , George Porter
Venue:In Proc. Workshop on Formal Techniques for Java Programs, in association with ECOOP
Citations:14 - 1 self