TY  - BOOK
AU  - Bérard, Béatrice
TI  - Systems and Software Verification: model-checking techniques and tools
SN  - 9783540415237
U1  - 005.1 BER 
PY  - 2001///
CY  - Berlin ; New York
PB  - Springer Verlag, Netherlands
KW  - Computer software - Verification
KW  - Computer systems - Verification
N1  - <p><strong>Table of Contents:</strong><
ER  -