Title: On proving the absence of execution errors
First published: 1980
Subjects: Electronic data processing
LC classification: QA76.99 E44 1982