Bachelorarbeitspräsentation von Ferdinand Henze

Einladung des Lehrstuhls für Softwaretechnik und Programmiersprachen

zur Präsentation der Bachelorarbeit

"Ein Rodin Plug-In zur Integration von Event-B Theorien in lisb"

von Ferdinand Henze am 22.05.2025 um 10 Uhr

im Raum 25.12.02.55