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-Zitierstil (17. Ausg.)IFM Reykjavik und 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-Zitierstil (9. Ausg.)IFM Reykjavik und 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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.