Software safety and security : tools for analysis and verification - NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany); Nipkow, Tobias; Grumberg, Orna; Hauptmann, Benedikt (IOS Press, 2012)
Keywords: Computer security-Congresses; Computer software-Verification-Congresses