Lightweight Bytecode Verification (1998)

by Eva Rose
Venue:In OOPSALA Workshop on Formal Underpinnings of Java