Correctness of Software - An Overview

Helmut K. Berg, William R. Franta, Thomas G. Moher. Correctness of Software - An Overview. In Helmut K. Berg, Wolfgang K. Giloi, editors, The Use of Formal Specification of Software, June 25-27, 1979, Berlin. Volume 36 of Informatik-Fachberichte, pages 237-354, Springer, 1979.

Abstract

Abstract is missing.