TY  - BOOK
T1  - Program verification
A1  - Francez, Nissim
PP  - Wokingham, Eng.
PB  - Addison-Wesley Pub.
YR  - 1992
UL  - https://tuklas.up.edu.ph/Record/UP-1685594773861846375
OP  - 312
CN  - QA 76.76 V47 F73 1992
SN  - 0201416085
KW  - Computer software : Verification.
KW  - Programming.
ER  -