Peter Liggesmeyer | Harry M. Sneed | Andreas Spillner
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