Showing 1 - 5 results of 5 for search 'Abadi, Martin', query time: 0.04s Refine Results
  1. 1
    A theory of objects
    by Abadi, Martin
    Published 1996
    Book
  2. 2
    Theoretical Aspects of Computer Software Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings /
    Published 1997
    Other Authors: “…Abadi, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    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 /
    Published 2014
    Other Authors: “…Abadi, Martín…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers /
    Published 2014
    Other Authors: “…Abadi, Martín…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings /
    Published 2005
    Other Authors: “…Abadi, Martín…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search