Showing 1 - 14 results of 14 for search 'Barthe, Gilles', query time: 0.03s Refine Results
  1. 1
    Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
    by Barthe, Gilles
    Published 2010
    Get full text
    Electronic Kit Book
  2. 2
    Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
    Published 2011
    Other Authors: “…Barthe, Gilles…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
    Published 2010
    Other Authors: “…Barthe, Gilles…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
    Published 2008
    Other Authors: “…Barthe, Gilles…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /
    Published 2008
    Other Authors: “…Barthe, Gilles…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Security and Trust Management 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings /
    Published 2016
    Other Authors: “…Barthe, Gilles…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures /
    Published 2009
    Other Authors: “…Barthe, Gilles…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings /
    Published 2011
    Other Authors: “…Barthe, Gilles…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings /
    Published 2012
    Other Authors: “…Barthe, Gilles…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers /
    Published 2012
    Other Authors: “…Barthe, Gilles…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Applied Semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures /
    Published 2002
    Other Authors: “…Barthe, Gilles…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Security and Trust Management 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers /
    Published 2011
    Other Authors: “…Barthe, Gilles…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /
    Published 2006
    Other Authors: “…Barthe, Gilles…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers /
    Published 2005
    Other Authors: “…Barthe, Gilles…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search