Gilles Barthe

Books by Gilles Barthe

Total count: 10

• 
  L'enfance spirituelle

  Beatitudes / Lion de Juda2001-01-01
• Applied SemanticsInternational Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

  Springer London, Limited2003-01-01
• Construction and Analysis of Safe, Secure, and Interoperable Smart DevicesInternational Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

  Springer London, Limited2005-01-01
• Trustworthy Global ComputingThird Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

  Springer London, Limited2008-01-01
• Verification, Model Checking, and Abstract Interpretation11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

  Springer London, Limited2010-01-01
• Software Engineering and Formal Methods9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

  Springer London, Limited2011-01-01
• 
  Programming Languages and Systems20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and ... Germany, March 26--April 3, 2011, Proceedings

  Springer2011-03-02
• 
  Formal Aspects of Security and Trust8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

  Springer2012-07-01
• 
  Security and Trust Management12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings

  Springer2016-09-17
• Foundations of Probabilistic Programming

  University of Cambridge ESOL Examinations2020-01-01