International Conference on integrated Formal Methods Leiden, Herber Paula, & Wijs, A. (2024). iFM 2023: 18th international conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, proceedings. Springer. https://doi.org/10.1007/978-3-031-47705-8
Chicago-Zitierstil (17. Ausg.)International Conference on integrated Formal Methods Leiden, Herber Paula, und Anton Wijs. IFM 2023: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. Cham, Switzerland: Springer, 2024. https://doi.org/10.1007/978-3-031-47705-8.
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, 2024. https://doi.org/10.1007/978-3-031-47705-8.