TY  - BOOK
T1  - Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993.
T2  - Lecture notes in computer science
A2  - Courcoubetis, Costas
LA  - English
PP  - Berlin
PB  - Springer-Verlag
YR  - 1993
UL  - https://tuklas.up.edu.ph/Record/UP-99796217602968496
OP  - 504
CN  - QA 76.76 V47 C39 1993
SN  - 3540569227
KW  - Computer software : Verification : Congresses.
ER  -