APA (7th ed.) Zitazioa

SpringerLink (Online service), Madeira, A., & Knapp, A. (2025). Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (1st ed. 2025.). Springer Nature Switzerland : Imprint: Springer. https://doi.org/10.1007/978-3-031-77382-2

Chicago Style (17th ed.) Zitazioa

SpringerLink (Online service), Alexandre Madeira, eta Alexander Knapp. Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings. 1st ed. 2025. Cham: Springer Nature Switzerland : Imprint: Springer, 2025. https://doi.org/10.1007/978-3-031-77382-2.

MLA (9th ed.) Zitazioa

SpringerLink (Online service), et al. Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings. 1st ed. 2025. Springer Nature Switzerland : Imprint: Springer, 2025. https://doi.org/10.1007/978-3-031-77382-2.