Test, Analyse und Verifikation von Software aus der Arbeit der Fachgruppe 2.1.7 Test, Analyse und Verifikation von Software (TAV) der Gesellschaft für Informatik (GI) - Müllenberg, Monika (Oldenbourg, 1996)