SpringerLink (Online service), Mora, P. L., Viana, D. L., Morais, F., & Vieira Vaz, J. (2023). Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 (1st ed. 2023.). Springer Nature Singapore : Imprint: Springer. https://doi.org/10.1007/978-981-99-2217-8
Chicago-čujuhus (17. p.)SpringerLink (Online service), Plácido Lizancos Mora, David Leite Viana, Franklim Morais, juo Jorge Vieira Vaz. Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022. 1st ed. 2023. Singapore: Springer Nature Singapore : Imprint: Springer, 2023. https://doi.org/10.1007/978-981-99-2217-8.
MLA-čujuhus (9. p.)SpringerLink (Online service), et al. Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022. 1st ed. 2023. Springer Nature Singapore : Imprint: Springer, 2023. https://doi.org/10.1007/978-981-99-2217-8.