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.
@inproceedings{Kneuper92,
title = {Validation und Verifikation von Software durch symbolische Ausführung},
author = {Ralf Kneuper},
year = {1992},
researchr = {https://researchr.org/publication/Kneuper92},
cites = {0},
citedby = {0},
pages = {155-167},
booktitle = {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},
editor = {Peter Liggesmeyer and Harry M. Sneed and Andreas Spillner 0002},
series = {Informatik Aktuell},
publisher = {Springer},
isbn = {3-540-55860-8},
}