TY  - BOOK
AU  - Berard A
AU  - Bidoit M
AU  - Finkel A
TI  - Systems and software verification: Model checking techniques and tools
SN  - 3540415238
U1  - 005.14 BER/S 
PY  - 1999///
CY  - Berlin
PB  - Springer
KW  - SOFTWARE TESTING
KW  - SOFTWARE VERIFICATION
ER  -