Marques, B., Ruivo, C., Leite Viana, D. & Vieira Vaz, J. (2025). Formal Methods in Architecture: 7th International Symposium Book of Abstracts. Porto. CESAP - Cooperativa de Ensino Superior Artístico.