Viana, David Leite, Vaz, J. V., Morais, Franklim & Ruivo, C. (2021). Formal Methods in Architecture and Urbanism. David Leite Viana and Franklim Morais and Jorge Vieira Vaz and Catarina Ruivo Pereira (Ed.).