Toward a Provably-Correct Implementation of the JVM Bytecode Verifier (1998)

by Alessandro Coglio , Allen Goldberg , Zhenyu Qian
Venue:In Proc. OOPSLA'98 Workshop on Formal Underpinnings of Java
Citations:36 - 5 self