OPO’ARCH Formal Methods

(NORTE-01-0246-FEDER-000013), projeto aprovado, com um investimento total de 561.600,00 €, sendo 85% cofinanciado pelo programa Norte2020.