TY  - BOOK
AU  - Boyer, Robert S. [Ed.]
AU  - Moore, J. Strother [Ed.]
TI  - Correctness problem in computer science
U1  - 001.642 
PY  - 1981///
CY  - London
PB  - Academic Press
KW  - Computer Programs -- Testing
ER  -