Mora, Plácido Lizancos, Ruivo, C., Viana, David Leite, Morais, Franklim, Vaz, J. V. & López-Chao, Vicente (2023). Some Controversies Around Formalization in Architecture. In Formal Methods in Architecture - proceedings of the 6th International Symposium on Formal Methods in Architecture. (pp. 35-46).: Springer Nature Singapore.