Computer software - Verification - Congresses.

概要

作品:	1 作品在 1 項出版品 1 種語言

書目資訊

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