Martín Abadi

No bio available. Add one in Open Library.

Books by Martín Abadi (50 max)

+ shelf+ list

Principles of Security and Trust Third International Conference, POST 2014, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2014

Martín Abadi, Steve Kremer

+ shelf+ list

Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

2014

Martín Abadi, Alberto Lluch Lafuente

+ shelf+ list

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings

2005

Martín Abadi, Luca de Alfaro

+ shelf+ list

La sécurité informatique

2011

Martín Abadi

+ shelf+ list

Theory of Objects

2012

Martín Abadi, Luca Cardelli