On proving the absence of execution errors.
Published: 1980
Language: eng
Number of pages: 97