Northern Formal Methods Workshop (3 : 1998 : Ilkley) Bezüge im Wissensnetz Veranstaltungsort (1) GND Ilkley