Nordic Workshop on Programming Correctness (4 : 1992 : Bergen) Bezüge im Wissensnetz Veranstaltungsort (1) GND Bergen (Norwegen)