Cita APA

NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany, ebrary, Inc, Grumberg, O., Nipkow, T., & Pfaller, C. (2008). Formal logical methods for system security and correctness. IOS Press.

Citación estilo Chicago

NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany, Inc ebrary, Orna Grumberg, Tobias Nipkow, and Christian Pfaller. Formal Logical Methods for System Security and Correctness. Amsterdam, Netherlands ; Washington, DC: IOS Press, 2008.

Cita MLA

NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany, et al. Formal Logical Methods for System Security and Correctness. IOS Press, 2008.