Program Development as a Formal Activity

Manfred Broy, Peter Pepper. Program Development as a Formal Activity. IEEE Trans. Software Eng., 7(1):14-23, 1981.

Abstract

Abstract is missing.