It is a project financed under the ESAP 2020 Projects (ESAP / 2020 / P51 / DARQ) and developed in partnership with LIAD. Download the .pdf
1st Opo’Arch Meeting (meeting held under the OPO’Arch Formal Methods project).
Organization: Jorge Vieira VAZ, Michele CANNATÀ and Joaquim FLORES
March 9, 2017 – Belmonte Palace – Porto – Portugal