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.
@inproceedings{GaubeLM86,
title = {Wiederfinden zum Wiederverwenden: Rechnergestützter Modul-Nachweis auf der Basis formaler Spezifikationen},
author = {Werner Gaube and Peter C. Lockemann and Heinrich C. Mayr},
year = {1986},
tags = {C++},
researchr = {https://researchr.org/publication/GaubeLM86},
cites = {0},
citedby = {0},
pages = {66-81},
booktitle = {Software-Architektur und modulare Prgrammierung, Tagung I/1986 des German Chapter of the ACM am 24. und 25.2.1986 in Kaiserslautern},
editor = {Hans-Wilm Wippermann},
volume = {26},
series = {Berichte des German Chapter of the ACM},
publisher = {Teubner},
isbn = {3-519-02445-4},
}