Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen

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.

Abstract

Abstract is missing.