Irish Workshop on Formal Methods (1 : 1997 : Dublin) Bezüge im Wissensnetz Veranstaltungsort (1) GND Dublin