TY  - BOOK
AU  - B. BERARD. M. BIDOIT.A.FINKEL.F.LAROUSSINIE
TI  - SYSTEMS AND SOFTWARE VERIFICATION 
SN  - 3540415238
U1  - 005.1421 
PY  - 2001///
CY  - GERMANY
PB  - SPRINGER
ER  -