Lizancos Mora, P., Viana, D. L., Morais, F., & Vaz, J. V. (2023). Formal methods in architecture: Proceedings of the 6th International symposium on formal methods in architecture (6FMA), A Coruña 2022. Springer.
Chicago Style (17th ed.) CitationLizancos Mora, Plácido, David Leite Viana, Franklim Morais, and Jorge Vieira Vaz. Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022. Singapore: Springer, 2023.
MLA (9th ed.) CitationLizancos Mora, Plácido, et al. Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022. Springer, 2023.
Warning: These citations may not always be 100% accurate.


