On proving the absence of execution errors
By: by W. David Elliott.
Contributors: University of Toronto. Computer Systems Research Group.
Series: Technical report -- CSRG-141; Technical report CSRG (University of Toronto.  Computer Systems Research Group) -- 141
Publisher: Computer Systems Reseach Group, University of Toronto
Published: 1982
Place of publication: Toronto
Language: eng
Number of pages: 87
Subjects: Electronic data processing
Notes: Thesis (Ph.D.)--University of Toronto, 1980.

Bibliography: p. [1-5].