Hans-Jörg Kreowski. Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen. 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 130-142, Springer, 1992.
@inproceedings{Kreowski92,
title = {Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen},
author = {Hans-Jörg Kreowski},
year = {1992},
researchr = {https://researchr.org/publication/Kreowski92},
cites = {0},
citedby = {0},
pages = {130-142},
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},
}