TY  - BOOK
AU  - Anderson, Robert B
TI  - Proving programs correct
SN  - 0-471-03395-2
U1  - 001.6425 21st
PY  - 1979///
CY  - New York
PB  - John Wiley
KW  - Computer programs-Testing; Debugging in Computer science
ER  -