Testen, Analysieren und Verifizieren von Software

Testen, Analysieren und Verifizieren von Software 1991/1992: Benthe/Bochum

maintained by Schloss Dagstuhl LZI at University of Trier