1. Martin Abadi and Peter Lee. Bytecode Verification and Proof-Carrying Code. In , 2000. Bell Labs Research, Lucent Technologies, CMU & Cedilla Systems.

This document was translated from BibT_EX by bibtex2html