Xavier Leroy. Java bytecode verification: an overview. In G. Berry, H. Comon, and A. Finkel, editors, Computer Aided Verification, CAV 2001, volume 2102 of Lecture Notes in Computer Science, pages 265-285. Springer, 2001.

Preliminary version of [43].

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

This file was generated by bibtex2html 1.95.