Gilles Barthe
Gilles Barthe
10 ספרים במאגר
ספרים
Foundations of Probabilistic ProgrammingGilles Barthe
Foundations of Probabilistic Programming
Gilles Barthe · 2020
Security and Trust ManagementGilles Barthe
Security and Trust Management
Gilles Barthe · 2016
Formal Aspects of Security and TrustGilles Barthe
Formal Aspects of Security and Trust
Gilles Barthe · 2012
Software Engineering and Formal MethodsGilles Barthe
Software Engineering and Formal Methods
Gilles Barthe · 2011
Programming Languages and SystemsGilles Barthe
Programming Languages and Systems
Gilles Barthe · 2011
Verification, Model Checking, and Abstract InterpretationGilles Barthe
Verification, Model Checking, and Abstract Interpretation
Gilles Barthe · 2010
Trustworthy Global ComputingGilles Barthe
Trustworthy Global Computing
Gilles Barthe · 2008
Construction and Analysis of Safe, Secure, and Interoperable Smart DevicesGilles Barthe
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe · 2006
Applied SemanticsGilles Barthe
Applied Semantics
Gilles Barthe · 2003
L'enfance spirituelleGilles Barthe
L'enfance spirituelle
Gilles Barthe · 2001