Languages
Jump To : Overview | Titles | Subjects

Barthe, Gilles.

Overview
Works: 3 works in 9 publications in 1 languages
Titles
Trustworthy Global Computing = Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers / by: Barthe, Gilles.; Fournet, Cedric.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service) (Electronic resources)
Foundations of security analysis and design V = FOSAD 2007/2008/2009 tutorial lectures / by: Gorrieri, Roberto.; SpringerLink (Online service); Aldini, Alessandro.; Barthe, Gilles. (Electronic resources)
Formal methods for open object-based distributed systems = 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 proceedings / by: Barthe, Gilles.; Boer, Frank S.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service) (Electronic resources)
Formal aspects of security and trust = 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers / by: SpringerLink (Online service); Etalle, Sandro.; Datta, Anupam.; Congress on Progress and Controversies in Oncological Urology (2000:); Barthe, Gilles. (Electronic resources)
Software engineering and formal methods = 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / by: SpringerLink (Online service); Barthe, Gilles.; Schneider, Gerardo.; Pardo, Alberto.; Congress on Progress and Controversies in Oncological Urology (2000:) (Electronic resources)
Engineering secure software and systems = 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings / by: Livshits, Benjamin.; Barthe, Gilles.; Scandariato, Riccardo.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service) (Electronic resources)
Verification, model checking, and abstract interpretation = 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings / by: Hermenegildo, Manuel.; Congress on Progress and Controversies in Oncological Urology (2000:); Barthe, Gilles.; SpringerLink (Online service) (Electronic resources)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices = International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers by: SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Barthe, Gilles. (Electronic resources)
 
 
Change password
Login