IEEE/ACM International Conference on Formal Methods in Software Engineering (13. : 2025 : Ottawa) Bezüge im Wissensnetz Veranstaltungsort (1) GND Ottawa Homepage (1) GND 2025.formalise.org Administrative Überordnung der Konferenz oder der Veranstaltung (1) GND 1370607083