Actions for Formal logical methods for system security and correctness [electronic resource]

Email RIS file
Bookmark
Report an Issue

Formal logical methods for system security and correctness [electronic resource] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller

Conference Author
NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany)
Published
Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008.
Physical Description
ix, 318 p. : ill. ; 25 cm.
Additional Creators
Grumberg, Orna, Nipkow, Tobias, 1958-, and Pfaller, Christian
Access Online

Availability

I Want It
I Want It

Finding items...

Series
Restrictions on Access
License restrictions may limit access.
Subject(s)
Genre(s)
ISBN
9781586038434
1586038435
Note
"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.
Bibliography Note
Includes bibliographical references and index.
View MARC record | catkey: 20523972