Formal logical methods for system security and correctness / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.

• Superior document: NATO security through science series. D, Information and communication security, v. 14
• Author: NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany)
• TeilnehmendeR: Grumberg, Orna.; Nipkow, Tobias, 1958-; Pfaller, Christian.; ProQuest (Firm)
• Julkaisuvuosi: 2008
• Kieli: English
• Sarja: NATO security through science series. Information and communication security ; v. 14.
• Ulkoasu: ix, 318 p. :; ill.
• Huomautukset: "Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007."--T.p. verso.
• Bibliografia: Includes bibliographical references and index.
• ISBN: 9781586038434; 1586038435
• ISSN: 1874-6268
• Hierarchical level: Monograph
• Statement of Responsibility: edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.