Formal Methods Teaching Workshop (5. : 2023 : Lübeck) Bezüge im Wissensnetz Veranstaltungsort (1) GND Lübeck In Beziehung stehende Konferenz oder Veranstaltung (1) GND 1284634698 Homepage (1) GND fmtea.github.io