International Conference on integrated Formal Methods (14. : 2018 : Maynooth) Bezüge im Wissensnetz Als In Beziehung stehende Konferenz oder Veranstaltung beteiligt (1) GND 1181393922 Veranstaltungsort (1) GND Maynooth Veranstalter oder Gastgeber (1) GND National University of Ireland, Maynooth