Software safety and security tools for analysis and verification (IOS Press, 2012)
"Published in cooperation with NATO Emerging Security Challenges Division.". - "Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--T.p. verso. - Includes indexes