International Summer School and Workshop on Formal Models of Programming and their Applications (1997 : Peking) Bezüge im Wissensnetz Veranstaltungsort (1) GND Peking