SpringerLink (Online service), Kosmatov, N., & Kovács, L. (2025). Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings (1st ed. 2025.). Springer Nature Switzerland : Imprint: Springer. https://doi.org/10.1007/978-3-031-76554-4
Chicago-referens (17:e uppl.)SpringerLink (Online service), Nikolai Kosmatov, och Laura Kovács. Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings. 1st ed. 2025. Cham: Springer Nature Switzerland : Imprint: Springer, 2025. https://doi.org/10.1007/978-3-031-76554-4.
MLA-referens (9:e uppl.)SpringerLink (Online service), et al. Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings. 1st ed. 2025. Springer Nature Switzerland : Imprint: Springer, 2025. https://doi.org/10.1007/978-3-031-76554-4.