IFM Reykjavik & Ábrahám, E. (2016). Integrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings. Springer.
Chicago Style (17th ed.) CitationIFM Reykjavik and Erika Ábrahám. Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : Proceedings. [Cham]: Springer, 2016.
MLA (9th ed.) CitationIFM Reykjavik and Erika Ábrahám. Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : Proceedings. Springer, 2016.
Warning: These citations may not always be 100% accurate.