TY  - BOOK
AU  - Berry, G.: Comon, H.: Finkel, A.:
TI  - Computer Aided Verification : Lecture Notes in Computer Science:Proceedings
SN  - 0003540423451
U1  - 006.3 
PB  - Springer
KW  - Verification
ER  -