Problems arising in proving the correctness of a computer program
By: Catherine Steele.
Publisher: [s.n.]
Published: 1974
Place of publication: Toronto
Language: eng
Notes: Thesis (M.A.)--University of Toronto, 1974.