TY  - BOOK
AU  - Grumberg, Orna
AU  - Pfaller, Christian
AU  - Nipkow, Tobias
TI  - Formal Logical Methods for System Security and Correctness
SN  - 9781586038434
U1  - 005.8 GRU 
PY  - 2008///
CY  - Amsterdam
PB  - IOS Press
KW  - System security
KW  - Formal logical methods
KW  - Computer logic - Congresses
KW  - Computer security -- congresses
N1  - <p>Table of Contents:</p>

<p>1.Compila
ER  -