Lightweight bytecode verification (1998)

by E Rose, K Rose
Venue:In OOPSLA’98 Workshop Formal Underpinnings of Java