Formal Methods in Architecture : Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), a Coruña 2022

MLA

Mora, Plácido Lizancos, et al. Formal Methods In Architecture : Proceedings of the 6th International Symposium On Formal Methods In Architecture (6fma), a Coruña 2022. Singapore: Springer Singapore Pte. Limited, 2023.

APA

Mora, P. Lizancos, Morais, F., Viana, D. Leite, & Vieira Vaz, J. (2023). Formal Methods in Architecture : Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), a Coruña 2022. Singapore: Springer Singapore Pte. Limited.

Chicago

Mora, Plácido Lizancos., Franklim Morais, David Leite Viana, 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 Singapore Pte. Limited, 2023.