Goedicke, Michael; Cramer, Joachim; Doberkat, Ernst-Erich:
Formal Methods
In: Software Reusability / Schäfer, Wilhelm; Pietro-Diaz, Ruben; Matsumoto, Masao (Eds.). - 1st International Workshop on Software Reusability ; July 1991, Dortmund - New York: Horwood, 1994 - (Ellis Horwood Workshop Series)
1994book article/chapter in Proceedings
Computer ScienceFaculty of Business Administration and Economics » Computer Science » Specification of Software Systems
Title in English:
Formal Methods
Author:
Goedicke, MichaelUDE
LSF ID
5091
ORCID
0009-0004-2383-6764ORCID iD
Other
connected with university
;Cramer, Joachim;Doberkat, Ernst-Erich
Language of text:
English
Appears in
Software Reusability
Conference
1st International Workshop on Software Reusability ; July 1991, Dortmund
Editor:
Schäfer, Wilhelm;Pietro-Diaz, Ruben;Matsumoto, Masao
Place of publication:
New York
Publisher:
Horwood
Year of publication:
1994
ISBN
0-13-063918-4
ISBN
978-0-13-063918-9
Library shelfmark:
TWQ4289
In Series
Ellis Horwood Workshop Series