TY  - GEN
AU  - Anderson,Robert Brockett
TI  - Proving programs correct / 
SN  - 0471033952
U1  - 005.14,AND 
PY  - 1979///
CY  - New York
PB  - Wiley
KW  - Computer programs
KW  - Testing
KW  - Debugging in computer science
N1  - Mathematical Induction (Page-1), Proving the Correctness of Flowchart Programs (Page-21), Proving the Correctness of Programs Written in a Standard Programming Language (Page-91), Proving the Correctness of Recursive Programs (Page-120), Current Research Related to Proving Program Correctness (Page-164)
ER  -