Workshop on Mathematical Methods of Specification and Synthesis of Software Systems (1985 : Wendisch Rietz) Bezüge im Wissensnetz Veranstaltungsort (1) GND Wendisch Rietz