On proving the absence of execution errors
By: by W. David Elliott.
Publisher: University of Toronto, Dept. of Computer Science
Published: 1980
Place of publication: Toronto
Language: eng
Number of pages: 87
Subjects: Electronic data processing
Notes: Thesis (Ph.D.)--University of Toronto, 1980.