Some publications by Martěn Abadi
Martěn Abadi and Luca Cardelli.
A Theory of Objects,
Monographs in Computer Science.
Martin Abadi and Luca Cardelli.
Theory of Objects.
Martin Abadi and Peter Lee.
Bytecode Verification and Proof-Carrying Code.
Bell Labs Research, Lucent Technologies, CMU & Cedilla Systems.
This document was translated from BibTEX by