TY  - BOOK
T1  - The correctness problem in computer science
A2  - Boyer, Robert S.
A2  - Moore, J Strother, 1947-
LA  - English
PP  - London
PB  - Academic Press
YR  - 1981
UL  - https://tuklas.up.edu.ph/Record/UP-99796217602905193
OP  - 279
CN  - QA 76.6 C663 1981
SN  - 0121229203
KW  - Computer programs : Correctness.
ER  -