Some publications by Martěn Abadi


Books and proceedings
  1. Martěn Abadi and Luca Cardelli. A Theory of Objects, Monographs in Computer Science. Springer-Verlag, Second edition, 1998. [WWW ]

  2. Martin Abadi and Luca Cardelli. Theory of Objects. Spriner-Verlag, 1996.

Conference articles
  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 BibTEX by bibtex2html