Mathematical System Models as a Basis of Software Engineering

Manfred Broy. Mathematical System Models as a Basis of Software Engineering. In Jan van Leeuwen, editor, Computer Science Today: Recent Trends and Developments. Volume 1000 of Lecture Notes in Computer Science, pages 292-306, Springer, 1995.

Abstract

Abstract is missing.