1º Encontro Opo’Arch

1º Encontro Opo'Arch (encontro realizado no âmbito do projeto OPO'Arch Formal Methods). Organização: Jorge Vieira VAZ, Michele CANNATÀ e Joaquim FLORES 9 de Março de 2017 - Palácio de Belmonte - Porto – Portugal