International Conference on Software Engineering and Formal Methods (2 : 2004 : Peking) Bezüge im Wissensnetz Veranstaltungsort (1) GND Peking