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

L'enfance spirituelle L'enfance spirituelle
L'enfance spirituelle
1993
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