Integrated formal methods 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings - Ábrahám, Erika 1970- (Springer, 2016)