APA (7th ed.) Citation

IFM Reykjavik & Ábrahám, E. (2016). Integrated formal methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016: proceedings. Springer. https://doi.org/10.1007/978-3-319-33693-0

Chicago Style (17th ed.) Citation

IFM Reykjavik and Erika Ábrahám. Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016: Proceedings. [Cham]: Springer, 2016. https://doi.org/10.1007/978-3-319-33693-0.

MLA (9th ed.) Citation

IFM Reykjavik and Erika Ábrahám. Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016: Proceedings. Springer, 2016. https://doi.org/10.1007/978-3-319-33693-0.