NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification <2010, Marktoberdorf, Germany>. (2011). Software and Systems Safety: Specification and Verification. IOS Press.
Chicago-Zitierstil (17. Ausg.)NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification <2010, Marktoberdorf, Germany>. Software and Systems Safety: Specification and Verification. Amsterdam: IOS Press, 2011.
MLA-Zitierstil (9. Ausg.)NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification <2010, Marktoberdorf, Germany>. Software and Systems Safety: Specification and Verification. IOS Press, 2011.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.