Wiederfinden zum Wiederverwenden: Rechnergestützter Modul-Nachweis auf der Basis formaler Spezifikationen

Werner Gaube, Peter C. Lockemann, Heinrich C. Mayr. Wiederfinden zum Wiederverwenden: Rechnergestützter Modul-Nachweis auf der Basis formaler Spezifikationen. In Hans-Wilm Wippermann, editor, Software-Architektur und modulare Prgrammierung, Tagung I/1986 des German Chapter of the ACM am 24. und 25.2.1986 in Kaiserslautern. Volume 26 of Berichte des German Chapter of the ACM, pages 66-81, Teubner, 1986.

Abstract

Abstract is missing.