Software safety and security tools for analysis and verification (IOS Press, published in cooperation with NATO Emerging Security Challenges Division, 2012)
"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 bibliographical references and indexes