Workshop on Applicability of Formal Methods (1998 : Århus) Bezüge im Wissensnetz Veranstaltungsort (1) GND Aarhus