TY  - BOOK
AU  - Grumberg,Orna
AU  - Nipkow,Tobias
AU  - Pfaller,Christian
ED  - NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness
ED  - ebrary, Inc.
TI  - Formal logical methods for system security and correctness
T2  - NATO security through science series. D, Information and communication security,
AV  - QA76.9.A25 N3754 2007eb
PY  - 2008///
CY  - Amsterdam, Netherlands, Washington, DC
PB  - IOS Press
KW  - Computer security
KW  - Congresses
KW  - Computer logic
KW  - Electronic books
KW  - local
N1  - "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; Includes bibliographical references and index; Electronic reproduction; Palo Alto, Calif.; ebrary; 2011; Available via World Wide Web; Access may be limited to ebrary affiliated libraries
UR  - http://site.ebrary.com/lib/daystar/Doc?id=10231732
ER  -