Grumberg, Orna
Formal Logical Methods for System Security and Correctness Edited by Orna Grumberg - Amsterdam IOS Press 2008 - ix, 319p.
Formal Logical Methods for System Security and Correctness Edited by Orna Grumberg - Amsterdam IOS Press 2008 - ix, 319p.
Table of Contents:
1.Compila
9781586038434
System security
Formal logical methods
Computer logic - Congresses
Computer security -- congresses
005.8 GRU