NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell. (2012). Software safety and security: Tools for analysis and verification. IOS Press, published in cooperation with NATO Emerging Security Challenges Division.
Chicago-Zitierstil (17. Ausg.)NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell. Software Safety and Security: Tools for Analysis and Verification. Amsterdam ; Berlin ; Tokyo ; Washington, DC: IOS Press, published in cooperation with NATO Emerging Security Challenges Division, 2012.
MLA-Zitierstil (9. Ausg.)NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell. Software Safety and Security: Tools for Analysis and Verification. IOS Press, published in cooperation with NATO Emerging Security Challenges Division, 2012.