IFM Bergen, Norwegen, Ahrendt, W., & Tapia Tarifa, S. L. (2019). Integrated formal methods: 15th international conference, IFM 2019, Bergen, Norway, December 2–6, 2019, proceedings. Springer. https://doi.org/10.1007/978-3-030-34968-4
Chicago-Zitierstil (17. Ausg.)IFM Bergen, Norwegen, Wolfgang Ahrendt, und Silvia Lizeth Tapia Tarifa. Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings. Cham, Switzerland: Springer, 2019. https://doi.org/10.1007/978-3-030-34968-4.
MLA-Zitierstil (9. Ausg.)IFM Bergen, Norwegen, et al. Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings. Springer, 2019. https://doi.org/10.1007/978-3-030-34968-4.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.