Cramer, Joachim; Doberkat, Ernst-Erich; Goedicke, Michael:
Some Formal Methods Supporting Software Reuse
Essen: Univ. - Gesamthochschule - Essen, Fachbereich Mathematik u. Informatik, 1993
(Informatik-Berichte ; 93,2)
1993Research Paper
MathematicsComputer Science
Title in English:
Some Formal Methods Supporting Software Reuse
Author:
Cramer, Joachim;Doberkat, Ernst-Erich;Goedicke, MichaelUDE
LSF ID
5091
ORCID
0009-0004-2383-6764ORCID iD
Other
connected with university
Place of publication:
Essen
Publisher:
Univ. - Gesamthochschule - Essen, Fachbereich Mathematik u. Informatik
Year of publication:
1993
Extent:
33 Seiten
Library shelfmark:
MNTA45013
Language of text:
English
In Series
Informatik-Berichte
in:
Vol. 93,2