Satellite Workshop on Formal Methods Applied to Defence Systems (2002 : Adelaide) Bezüge im Wissensnetz Veranstaltungsort (1) GND Adelaide