Ralf Kneuper. Validation und Verifikation von Software durch symbolische Ausführung. In Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner 0002, editors, 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. Informatik Aktuell, pages 155-167, Springer, 1992.
Abstract is missing.