Goedicke, Michael; Cramer, Joachim; Doberkat, Ernst-Erich:
Formal Methods
In: Software Reusability / Schäfer, Wilhelm; Pietro-Diaz, Ruben; Matsumoto, Masao (Hrsg.). - 1st International Workshop on Software Reusability ; July 1991, Dortmund - New York: Horwood, 1994 - (Ellis Horwood Workshop Series)
1994Buchaufsatz/Kapitel in Tagungsband
InformatikFakultät für Wirtschaftswissenschaften » Fachgebiet Informatik » Spezifikation von Softwaresystemen
Titel in Englisch:
Formal Methods
Autor*in:
Goedicke, MichaelUDE
LSF ID
5091
ORCID
0009-0004-2383-6764ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
;Cramer, Joachim;Doberkat, Ernst-Erich
Sprache des Textes:
Englisch
Erschienen in
Software Reusability
Konferenz
1st International Workshop on Software Reusability ; July 1991, Dortmund
Herausgeber*in:
Schäfer, Wilhelm;Pietro-Diaz, Ruben;Matsumoto, Masao
Erscheinungsort:
New York
Verlag:
Horwood
Erscheinungsjahr:
1994
ISBN
0-13-063918-4
ISBN
978-0-13-063918-9
Signatur der UB:
TWQ4289
In Serie
Ellis Horwood Workshop Series