Some publications by Martěn Abadi

Back

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