TY  - BOOK
AU  - Ananda, A. L.
TI  - Proving programs correct
U1  - 001.6425 
PY  - 1973///
CY  - Kanpur
PB  - I. I. T.
KW  - Cool (Computer Program Language)
KW  - Programming Languages (Electronic Computers)
N1  - Thesis (M.Tech.) -- I. I. T., Kanpur
ER  -