Formal logical methods for system security and correctness
NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany)
creator
Grumberg, Orna.
Nipkow, Tobias
1958-
Pfaller, Christian.
ebrary, Inc
text
bibliography
conference publication
Electronic books.
ne
Amsterdam, Netherlands
Washington, DC
IOS Press
c2008
2008
monographic
eng
ix, 318 p. : ill.
edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.
"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.
Computer security
Congresses
Computer logic
Congresses
QA76.9.A25 N3754 2007eb
NATO security through science series. v. 14
D
Information and communication security
http://site.ebrary.com/lib/rucke/Doc?id=10231732
http://site.ebrary.com/lib/rucke/Doc?id=10231732
CaPaEBR
080407
ebr10231732