FMA 5th international symposium
5th International Symposium on Formal Methods in Architecture and Urbanism.
5th International Symposium on Formal Methods in Architecture and Urbanism.
It is a project financed under the ESAP 2020 Projects (ESAP / 2020 / P51 / DARQ) and developed in partnership with LIAD. Download the .pdf