A Type System for the Java Bytecode Language and Verifier (2003)

by Stephen N. Freund , John C. Mitchell
Citations:23 - 0 self