Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness
Formal Logical Methods for System Security and Correctness

by: Grumberg, O.; Nipkow, T.; Pfaller, C.

Paperback: 332 pages

Publisher: IOS Press( March 27, 2008 )

ISBN-10: 1586038435