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 [49].

bib | Local copy | At publisher's ] Back


This file was generated by bibtex2html 1.97.