ISSE

Search

Software Verifikation: Stand und Perspektiven

W. Reif

Software Verifikation: Stand und Perspektiven

published 1996 in: Fakultät für Informatik, Technische Universität Dresden Technischer Bericht FI96/06