Lightweight Bytecode Verification

Bibtex entry :

@inproceedings {  rose98lightweight,
    author = { E. Rose and K. H. Rose },
    title = { Lightweight Bytecode Verification },
    booktitle = { Workshop ``Formal Underpinnings of the Java Paradigm'', {OOPSLA'98} },
    year = { 1998 },
    url = { citeseer.ist.psu.edu/rose98lightweight.html },
}