TY  - BOOK
AU  - Boyer, Robert S.,
AU  - Moore, J. Strother
TI  - The correctness problem in computer science
SN  - 0-12-122920-3
AV  - QA76.6 B68
PY  - 1981///
CY  - London
PB  - Academic
KW  - Programas para computadora
KW  - Pruebas
ER  -