FMICS (28. : 2023 : Antwerpen) Bezüge im Wissensnetz Veranstaltungsort (1) GND Antwerpen Veranstalter oder Gastgeber (1) GND European Research Consortium for Informatics and Mathematics. Working Group on Formal Methods for Industrial Critical Systems