TY  - BOOK
AU  - Loeckx, Jacques J. C.,
AU  - Sieber, Kurt
AU  - Stansifer, Ryan D.
TI  - The foundations of program verification
T2  - Wiley-teubner series in computer science
SN  - 3519121018
AV  - QA76.6 L57 1987
PY  - 1987///
CY  - Stuttgart (alemania occidental)
PB  - B. G. Teubner
KW  - Programas para computadora
KW  - Verificación
ER  -