Problemseminar Fachsprachen und Programmverifikation (1978 : Weissig, Dresden) Bezüge im Wissensnetz Veranstaltungsort (1) GND Weissig (Dresden)