On proving the correctness of computer programs.
Contributors: Toronto, Ont.  University. Theses (M.Sc.)
Published: 1967
Place of publication: [Toronto]
Language: eng
Number of pages: 30
Subjects: Algorithms; Computer programming.