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  - NetLibrary, Inc.
TI  - Formal logical methods for system security and correctness
SN  - 9781435677883 (electronic bk.)
AV  - QA76.9.A25 N377 2007eb
U1  - 005.8 22
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; Boulder, Colo.; NetLibrary; 2008; Available via World Wide Web; Access may be limited to NetLibrary affiliated libraries
UR  - https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=244454
ER  -