Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings Barthe Gilles Heftet / 2008 / Engelsk
Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings Barthe Gilles Heftet / 2011 / Engelsk
Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers Barthe Gilles Heftet / 2008 / Engelsk
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings Barthe Gilles Heftet / 2010 / Engelsk
Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers Barthe Gilles Heftet / 2012 / Engelsk
Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings Barthe Gilles Heftet / 2011 / Engelsk
Security and Trust Management 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings Barthe Gilles Heftet / 2016 / Engelsk
Foundations of Security Analysis and Design V FOSAD 2008/2009 Tutorial Lectures Aldini Alessandro Heftet / 2009 / Engelsk
Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings Barthe Gilles Heftet / 2012 / Engelsk
Applied Semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures Barthe Gilles Heftet / 2002 / Engelsk
Security and Trust Management 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers Cuellar Jorge Heftet / 2011 / Engelsk
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers Barthe Gilles Heftet / 2006 / Engelsk
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers Barthe Gilles Heftet / 2005 / Engelsk
