Advanced Research Workshop on Formal Descriptions of Developing Systems (2002 : Manoa, Hawaii) Bezüge im Wissensnetz Veranstaltungsort (1) GND Manoa, Hawaii