Software safety and security : tools for analysis and verification
[NT 59711] 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)
([NT 8598] Electronic resources)