Testen, Analysieren und Verifizieren von Software (1992 : Bochum) Bezüge im Wissensnetz Veranstaltungsort (1) GND Bochum