Formal methods in architecture : proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020

MLA

Sara Eloy, et al. Formal Methods In Architecture : Proceedings of the 5th International Symposium On Formal Methods In Architecture (5fma), Lisbon 2020. Springer International Publishing, 2021.

APA

Sara Eloy, S. Eloy, Leite Viana, D., Morais, F., & Vieira Vaz, J. (2021). Formal methods in architecture : proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Springer International Publishing.

Chicago

Sara Eloy, David Leite Viana, Franklim Morais, and Jorge Vieira Vaz. Formal Methods In Architecture : Proceedings of the 5th International Symposium On Formal Methods In Architecture (5FMA), Lisbon 2020. : Springer International Publishing, 2021.