Pocketbok
Vis utilgjengelige utgivelser

Releases med Gilles Barthe

Cover for Gilles Barthe · Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers - Security and Cryptology (Pocketbok) (2012)

Formal Aspects of Security and T... (2012)

Cover for Gilles Barthe · Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings - Security and Cryptology (Pocketbok) (2012)

Engineering Secure Software and ... (2012)

Cover for Gilles Barthe · Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2011 edition] (2011)

Software Engineering and Formal ... (2011)

Cover for Gilles Barthe · 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, Saarbrucken, Germany, March 26--April 3, 2011, Proceedings - Theoretical Co (Pocketbok) (2011)

Programming Languages and System... (2011)

Cover for Gilles Barthe · Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings - Lecture Notes in Computer Science (Pocketbok) (2010)

Verification, Model Checking, an... (2010)

Cover for Gilles Barthe · Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings - Lecture Notes in Computer Science (Pocketbok) [2008 edition] (2008)

Formal Methods for Open Object-B... (2008)

Cover for Gilles Barthe · Trustworthy Global Computing: Third Symposium, Tgc 2007, Sophia-antipolis, France, November 5-6, 2007, Revised Selected Papers - Lecture Notes in Computer Science (Pocketbok) (2008)

Trustworthy Global Computing: Th... (2008)

Cover for Gilles Barthe · Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers - Lecture Notes in Computer Science (Pocketbok) [2006 edition] (2006)

Construction and Analysis of Saf... (2006)

Cover for Gilles Barthe · Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, Cassis 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers - Lecture Notes in Computer Science (Pocketbok) (2005)

Construction and Analysis of Saf... (2005)