Date of Original Version

1981

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

Program correctness is one of the most serious problems in the construction of large software systems.

Share

COinS