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
P. Liggesmeyer, H. M. Sneed, A. Spillner (Hrsg.)
Bok Tysk 1992