Programming Languages and Systems More Books by Gilles Barthe

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
Foundations of Security Analysis and Design V Foundations of Security Analysis and Design V
Foundations of Security Analysis and Design V
2009