NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security ((2011)

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) (書目-電子資源)