IEEE/ACM International Conference on Formal Methods in Software Engineering (8. : 2020 : Online) Aufgrund der COVID-19-Pandemie online abgehalten. Bezüge im Wissensnetz Veranstaltungsort (1) GND Seoul Homepage (1) GND Formalise-2020 Administrative Überordnung der Konferenz oder der Veranstaltung (1) GND 1228149615