International Conference on Integrated Formal Methods (19. : 2024 : Manchester) Bezüge im Wissensnetz Als Administrative Überordnung der Konferenz oder der Veranstaltung beteiligt (1) GND 135672535X Veranstaltungsort (1) GND Manchester