Testen, Analysieren und Verifizieren von Software

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

maintained by Schloss Dagstuhl LZI at University of Trier