Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), ebrary, Inc, Esparza, J., Spanfelner, B., & Grumberg, O. (2010). Logics and languages for reliability and security. IOS Press.
Citação do estilo Chicago (17ª ed.)Technische Universität München (Germany), TECHNION. Israel Institute of Technology (Israel), Inc ebrary, Javier Esparza, Bernd Spanfelner, e Orna Grumberg. Logics and Languages for Reliability and Security. Washington, D.C.: IOS Press, 2010.
Citação MLA (9ª ed.)Technische Universität München (Germany), et al. Logics and Languages for Reliability and Security. IOS Press, 2010.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.