OtiumSessione
Sessione
Non abbiamo ancora una biografia di Gilles Barthe.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Programming Languages and Systems
2011
Foundations of Probabilistic Programming
2020
Formal Methods for Open Object-Based Distributed Systems
2008
Formal Aspects of Security and Trust
2012
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
2006
Applied semantics
2002
Verification, Model Checking, and Abstract Interpretation
2010
Trustworthy Global Computing
2008
Software Engineering and Formal Methods
2011
Software Engineering And Formal Methods 9th International Conference Proceedings
2011
Security and Trust Management
2016
L'enfance spirituelle
2001
Formal Aspects Of Security And Trust 8th International Workshop Fast 2011 Leuven Belgium September 1214 2011 Revised Selected Papers
2012
Engineering Secure Software and Systems
2012
Engineering Secure Software And Systems 4th International Symposium Essos 2012 Eindhoven The Netherlands February 1617 2012 Proceedings
2012