On Proving the Absence of Execution Errors (1982)

by W D Elliot
Venue:Computer Systems Research Group, University of Toronto, March