Gilles Barthe Books

Security and Trust Management Security and Trust Management
Security and Trust Management
2016
Security and Trust Management Security and Trust Management
Security and Trust Management
2011
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2011
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2011
Foundations of Security Analysis and Design V Foundations of Security Analysis and Design V
Foundations of Security Analysis and Design V
2009