APA-Zitierstil (7. Ausg.)

(2011). Software and systems safety: Specification and verification. IOS Press.

Chicago-Zitierstil (17. Ausg.)

Software and Systems Safety: Specification and Verification. Amsterdam, The Netherlands: IOS Press, 2011.

MLA-Zitierstil (9. Ausg.)

Software and Systems Safety: Specification and Verification. IOS Press, 2011.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.