1st Opo’Arch Meeting
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
Menu
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