Workshop on Applications of Formal Methods and Digital Twins (2023 : Lübeck) Bezüge im Wissensnetz Veranstaltungsort (1) GND Lübeck Homepage (1) GND workshop-applications-of-formal-methods-and-digital-twins