Semantics of Java Byte Code (1997)

by P Bertelsen
Venue:University of Denmark