International Conference on Formal Engineering Methods (12 : 2010 : Schanghai) Bezüge im Wissensnetz Veranstaltungsort (1) GND Schanghai