1. Integrated formal methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. (2016) Editors: Ábrahám, Erika; Huisman, Marieke Other Names: International Conference on Integrated Formal Methods, 12th Record Type: Book Extent: 1 online resource (xiv, 538 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗