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- (Springer, 1992)
Keywords: Softwaretest; Programmverifikation; Qualitätskontrolle; Software; Konferenzschrift -- 1991 -- Benthe