PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (04.09.2018 : Maynooth, Ireland) National University of Ireland, Maynooth Bezüge im Wissensnetz Veranstaltungsort (1) GND Maynooth In Beziehung stehende Konferenz oder Veranstaltung (1) GND 1181391601 Veranstalter oder Gastgeber (1) GND National University of Ireland, Maynooth