A type system for the Java bytecode language and verifier (2003)

by S Freund, J Mitchell
Venue:Journal of Automated Reasoning