Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings - Furia, Carlo A.; Furia, Carlo A.; Winter, Kirsten; Winter, Kirsten (Springer International Publishing : Imprint: Springer, 2018)