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
Peter Liggesmeyer · Harry M. Sneed · Andreas Spillner
Mar 2013 · Springer-Verlag