Gilles Barthe profile picture

Gilles Barthe

Is this your author profile? Create an account to customize it!

Stand Alone

Formal Methods for Open Object-Based Distributed Systems
Programming Languages and Systems
Software Engineering And Formal Methods 9th International Conference Proceedings
Formal Aspects Of Security And Trust 8th International Workshop Fast 2011 Leuven Belgium September 1214 2011 Revised Selected Papers
Engineering Secure Software And Systems 4th International Symposium Essos 2012 Eindhoven The Netherlands February 1617 2012 Proceedings
Applied semantics
Engineering Secure Software and Systems
Formal Aspects of Security and Trust
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
Foundations of Probabilistic Programming
Foundations of Probabilistic Programming
Programming Languages and Systems
Security and Trust Management