Testen, Analysieren und Verifizieren von Software Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI Proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992 - Liggesmeyer, Peter 1963- (Informatik aktuell, 1992)