TY  - BOOK
T1  - Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.
T2  - Lecture notes in computer science
A2  - Bochmann, G. V.
A2  - Probst, D. K.
LA  - English
PP  - Berlin
PB  - Springer-Verlag
YR  - 1993
UL  - https://tuklas.up.edu.ph/Record/UP-99796217602968491
OP  - 422
CN  - QA 76.76 V47 C39 1992
SN  - 3540564969
KW  - Computer software : Verification : Congresses.
KW  - Electronic digital computers : Evaluation : Congresses.
ER  -