Foundations of Probabilistic ProgrammingGilles Barthe, Joost-Pieter Katoen, Alexandra Silva · First published 2020Open the Tome
Security and Trust ManagementGilles Barthe, Evangelos Markatos, Pierangela Samarati · First published 2016Open the Tome
Engineering Secure Software And Systems 4th International Symposium Essos 2012 Eindhoven The Netherlands February 1617 2012 ProceedingsGilles Barthe · First published 2012Open the Tome
Formal Aspects Of Security And Trust 8th International Workshop Fast 2011 Leuven Belgium September 1214 2011 Revised Selected PapersGilles Barthe · First published 2012Open the Tome
Software Engineering and Formal MethodsGilles Barthe, Alberto Pardo, Gerardo Schneider · First published 2011Open the Tome
Software Engineering And Formal Methods 9th International Conference ProceedingsGilles Barthe · First published 2011Open the Tome
Verification, Model Checking, and Abstract InterpretationGilles Barthe, Manuel Hermenegildo · First published 2010Open the Tome
Formal Methods for Open Object-Based Distributed SystemsGilles Barthe · First published 2008Open the Tome
Formal Methods for Open Object-Based Distributed SystemsFrank S. De Boer,Gilles Barthe · First published 2008Open the Tome
Term declaration logic and generalised compositaGilles Jacques Barthe · First published 1993Open the Tome
