(2011). Software and systems safety: Specification and verification. IOS Press.
Chicago Style (17th ed.) CitationSoftware and Systems Safety: Specification and Verification. Amsterdam, The Netherlands: IOS Press, 2011.
MLA (9th ed.) CitationSoftware and Systems Safety: Specification and Verification. IOS Press, 2011.
Warning: These citations may not always be 100% accurate.