Barthe, Gilles.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Verification, model checking, and abstract interpretation = 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings / by: Barthe, Gilles.; Hermenegildo, Manuel.; SpringerLink (Online service); VMCAI 2010 ((2010 :) (Language materials, printed)

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.; SpringerLink (Online service); International Conference on Formal Methods for Open Object-Based Distributed Systems (2008 :) (Language materials, printed)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices = International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers by: Barthe, Gilles.; SpringerLink (Online service); CASSIS (Conference) ((2004 :) (Language materials, printed)

Security and trust management = 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016 : proceedings / by: STM (Conference) (2016 :); Barthe, Gilles.; Markatos, Evangelos.; Samarati, Pierangela.; SpringerLink (Online service) (Electronic resources)

Trustworthy Global Computing = Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers / by: Barthe, Gilles.; Fournet, Cedric.; SpringerLink (Online service); TGC 2007 ((2007 :) (Language materials, printed)

Subjects