Satellite Workshop on Software Engineering and Formal Methods (2002 : Adelaide) Bezüge im Wissensnetz Veranstaltungsort (1) GND Adelaide