FMA 4th international symposium

4th Symposium on Formal Methods in Architecture and Urbanism, organizado pelo LIAD, pelo MIA, e pelo DARQ. O Simpósio teve lugar na ESAP entre 2 e 6 de Abril de 2018.