Software safety and security tools for analysis and verification (IOS Press, 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. - International conference proceedings. - Includes indexes