Formal Methods in Architecture and Urbanism, Volume 2Catarina Ruivo, David Leite Viana, Franklim Morais, Jorge Vieira Vaz · First published 2021Open the Tome
