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