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 -