Peter Liggesmeyer Testen, Analysieren und Verifizieren von Software - eine klassifizierende Übersicht der Verfahren. 1-25 1992 conf/testen/1992 Testen, Analysieren und Verifizieren von Software db/conf/testen/testen1992.html#Liggesmeyer92