IEEE/ACM International Conference on Formal Methods in Software Engineering (10. : 2022 : Pittsburgh, Pa.; Online) Aufgrund der COVID-19-Pandemie hybrid abgehalten. Bezüge im Wissensnetz Veranstaltungsort (1) GND Pittsburgh, Pa. Homepage (1) GND Formalise-2022 Administrative Überordnung der Konferenz oder der Veranstaltung (1) GND 1270856480