Abgeschlossene Arbeiten

Studentische Arbeiten

Translating OCL into Clafer

Typ der Arbeit: Master-Thesis
Bearbeitungsstand: Abgeschlossene Arbeiten
Arbeit abgeschlossen am: 10.08.2021
Betreuer*in: M.Sc. Hendrik Göttmann

Zurück zur Übersicht

Zurück zur Übersicht