mattos, M., Oliveira, A. & Viana, D. L. (2023). Examination of the Diffusion of COVID-19 Cases in Viçosa, Minas Gerais (Brazil): A Configurational Approach. In Plácido Lizancos-Mora; David Leite Viana; Franklim Morais; Jorge Vaz (Ed.), Formal Methods in Architecture . (pp. 175-200).: SSpringer Singapura.