Martín Abadi
4 published titles
Theoretical aspects of computer software : Third International Symposium, TACS'97, Sendai, Japan, September 23-26, 1997 proceedings
(Contributor)
1 edition
- ISBN: 354063388X
- Springer
- 1997
- Details
Concur 2005 : concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, proceedings
(Contributor)
1 edition
- ISBN: 9783540283096
- Springer
- 2005
- Details
Trustworthy global computing : 8th international symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, revised selected papers
(Contributor)
1 edition
- ISBN: 9783319051185
- Springer
- 2014
- Details
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-1
(Contributor)
1 edition
- ISBN: 9783642547911
- Springer
- 2014
- Details
