Morais, Franklim, Ruivo, C., Vaz, J. V. & Flores, Joaquim de Moura (2022). Integrating Formal Methodologies in a Multilayered Analysis for Management Policies for the Pedestrian Use of Public Space. 6th International Symposium Formal Methods in Architecture.