TY  - BOOK
AU  - DRECHSLER, ROLF
TI  - ADVANCED FORMAL VERIFICATION
U1  - 621.392 
CY  - DORDRECHT
KW  -   ADVANCED FORMAL VERIFICATION
ER  -