APA (7th ed.) Citation

NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems Marktoberdorf, Germany), Esparza, J., Grumberg, O., & Sickert, S. (2016). Dependable software systems engineering. IOS Press.

Chicago Style (17th ed.) Citation

NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems Marktoberdorf, Germany), Javier Esparza, Orna Grumberg, and Salomon Sickert. Dependable Software Systems Engineering. Amsterdam, Netherlands: IOS Press, 2016.

MLA (9th ed.) Citation

NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems Marktoberdorf, Germany), et al. Dependable Software Systems Engineering. IOS Press, 2016.