APA (7th ed.) Citation

International Symposium on Formal Methods in Architecture Lissabon, Eloy, S., Viana, D. L., Morais, F., & Vaz, J. V. (2021). Formal methods in architecture: Proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020. Springer. https://doi.org/10.1007/978-3-030-57509-0

Chicago Style (17th ed.) Citation

International Symposium on Formal Methods in Architecture Lissabon, 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. Cham, Switzerland: Springer, 2021. https://doi.org/10.1007/978-3-030-57509-0.

MLA (9th ed.) Citation

International Symposium on Formal Methods in Architecture Lissabon, et al. Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Springer, 2021. https://doi.org/10.1007/978-3-030-57509-0.