Workshop Formale Methoden zum Entwurf Korrekter Systeme (1993 : Bad Herrenalb) Bezüge im Wissensnetz Veranstaltungsort (1) GND Bad Herrenalb