Date of Original Version
1981
Type
Technical Report
Abstract or Table of Contents
Program correctness is one of the most serious problems in the construction of large software systems.
COinS