Proving programs incorrect
By: by Daniel Brand.
Contributors: Toronto, Ont. University.
Publisher: s.n.]
Published: 1976
Place of publication: [Toronto
Language: eng
Number of pages: 174
Subjects: Compiling (Electronic computers)
Notes: Thesis--University of Toronto.

Vita.

Bibliography: leaves 155-158.