Software Engineering and Formal Methods More Books by Gilles Barthe, Alberto Pardo & Gerardo Schneider

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
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