International Conference on integrated Formal Methods Leiden, Herber, P., & Wijs, A. (2023). iFM 2023: 18th international conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023 : proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)International Conference on integrated Formal Methods Leiden, Paula Herber, und Anton Wijs. IFM 2023: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023 : Proceedings. Cham: Springer, 2023.
MLA-Zitierstil (9. Ausg.)International Conference on integrated Formal Methods Leiden, et al. IFM 2023: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023 : Proceedings. Springer, 2023.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.