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)
1993Forschungsbericht
MathematikInformatik
Titel in Englisch:
Some Formal Methods Supporting Software Reuse
Autor*in:
Cramer, Joachim;Doberkat, Ernst-Erich;Goedicke, MichaelUDE
LSF ID
5091
ORCID
0009-0004-2383-6764ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
Erscheinungsort:
Essen
Verlag:
Univ. - Gesamthochschule - Essen, Fachbereich Mathematik u. Informatik
Erscheinungsjahr:
1993
Umfang:
33 Seiten
Signatur der UB:
Sprache des Textes:
Englisch