Lightweight bytecode verification

Bibtex entry :

@inproceedings {  rr98woopsla,
    author = { E. Rose and K.H. Rose },
    title = { Lightweight bytecode verification },
    journal = { Proc. of the OOPSLA Wordshop of the Formal Underpinnings of the Java Paradigm },
    year = { 1998 },
}