Xavier Leroy. Java bytecode verification: an overview. In CAV 2001: Computer Aided Verification, number 2102 in LNCS, pages 265--285. Springer, 2001.

Preliminary version of [66].

[ bib | DOI | Local copy | At publisher's site ] Back

This file was generated by bibtex2html 1.99.