Software safety and security : tools for analysis and verification : NATO Advanced Study Institute on tools for analysis and verification of software safety and security : Marktoberdorf PhD summer school : Aug 2011, Bayrischzell, Germany.
(NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 33)
国立国会図書館請求記号
M17-13-420
国立国会図書館書誌ID
023898806
資料種別
図書
著者
NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)ほか