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