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 Style (17th ed.) CitationInternational Conference on integrated Formal Methods Leiden, Paula Herber, and Anton Wijs. IFM 2023: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023 : Proceedings. Cham: Springer, 2023.
MLA (9th ed.) CitationInternational 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.
Warning: These citations may not always be 100% accurate.