Marques, B., Ruivo, C., Viana, David Leite, Vaz, J. V. & Vieira Vaz, J. (2024). 7th International Simposium Formal Methods in Architecture - Book of Abstracts. Porto. Escola Superior Artística do Porto.