Some publications by Martìn Abadi
|
Back
-
Martìn Abadi and Luca Cardelli.
A Theory of Objects,
Monographs in Computer Science.
Springer-Verlag,
Second edition,
1998.
[WWW
]
-
Martin Abadi and Luca Cardelli.
Theory of Objects.
Spriner-Verlag,
1996.
-
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