Seminar on Software Construction - Foundation and Application (1992 : Dagstuhl) Bezüge im Wissensnetz Veranstaltungsort (1) GND Wadern