Abgeschlossene Arbeiten

Studentische Arbeiten

Translating OCL into Clafer

Type of thesis: Master-Thesis
State: Abgeschlossene Arbeiten
Thesis closed on: 10.08.2021
Tutor: M.Sc. Hendrik Göttmann

Back to overview

Back to overview