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-6764
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
Sprache des Textes:
Englisch