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. Towards a wide spectrum language to support program specification and program development. In Klaus Alber, editor, Programmiersprachen, 5. Fachtagung der GI, Braunschweig, 8./9. März 1978, Proceedings. Volume 12 of Informatik-Fachberichte, pages 73-85, Springer, 1978.

Abstract

Abstract is missing.