APA-Zitierstil (7. Ausg.)

NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security <2011, Bayrischzell, Germany>. (2012). Software safety and security: Tools for analysis and verification. IOS Press.

Chicago-Zitierstil (17. Ausg.)

NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security <2011, Bayrischzell, Germany>. Software Safety and Security: Tools for Analysis and Verification. Washington, D.C: IOS Press, 2012.

MLA-Zitierstil (9. Ausg.)

NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security <2011, Bayrischzell, Germany>. Software Safety and Security: Tools for Analysis and Verification. IOS Press, 2012.