Towards a Wide Spectrum Language to Support Program Specification and Program Development

Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner. Towards a Wide Spectrum Language to Support Program Specification and Program Development. In Friedrich L. Bauer, Manfred Broy, editors, Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, germany. Volume 69 of Lecture Notes in Computer Science, pages 543-552, Springer, 1978.

Abstract

Abstract is missing.