International Conference Formal Methods in Programming and Their Applications (1993 : Nowosibirsk-Akademgorodok) Bezüge im Wissensnetz Veranstaltungsort (1) GND Nowosibirsk-Akademgorodok