TY  - BOOK
AU  - BERARD ETC
TI  - SYSTEMS AND SOFTWARE VERIFICATION
SN  - 9.78E+12
U1  - 005.3 BER 
PB  - SPRINGER
ER  -