SpringerLink (Online service), Marques, B., Ruivo, C., Leite Viana, D., & Vieira Vaz, J. (2025). Formal Methods in Architecture: Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024 (1st ed. 2025.). Springer Nature Switzerland : Imprint: Springer. https://doi.org/10.1007/978-3-032-02782-5
Cita Chicago (17th ed.)SpringerLink (Online service), Bruno Marques, Catarina Ruivo, David Leite Viana, i Jorge Vieira Vaz. Formal Methods in Architecture: Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024. 1st ed. 2025. Cham: Springer Nature Switzerland : Imprint: Springer, 2025. https://doi.org/10.1007/978-3-032-02782-5.
Cita MLA (9th ed.)SpringerLink (Online service), et al. Formal Methods in Architecture: Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024. 1st ed. 2025. Springer Nature Switzerland : Imprint: Springer, 2025. https://doi.org/10.1007/978-3-032-02782-5.