Software safety and security : tools for analysis and verification
by:
NATO Emerging Security Challenges Division.; Nipkow, Tobias (1958-); Grumberg, Orna.; Hauptmann, Benedikt.; NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security ((2011)
(Electronic resources)