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 .
[ bib |
Local copy |
At publisher's ]
This file was generated by