FME International Conference on Formal Methods in Software Engineering (9. : 2021 : Online) Aufgrund der COVID-19-Pandemie als Online-Konferenz abgehalten. Bezüge im Wissensnetz Veranstaltungsort (1) GND Madrid Homepage (1) GND Formalise-2021 Veranstalter oder Gastgeber (1) GND Europäische Kommission. Formal Methods Europe Administrative Überordnung der Konferenz oder der Veranstaltung (1) GND 1242413820