On logic and program verification
Contributors: Toronto, Ont. University.
Publisher: s.n.]
Published: 1975
Place of publication: [Toronto
Language: eng
Number of pages: 96
Subjects: Computer programming.; Programming languages (Electronic computers)
Notes: Thesis--University of Toronto.

Vita.

Bibliography: leaves 82-83.