OPO’ARCH Formal Methods

(NORTE-01-0246-FEDER-000013), project approved, with a total investment of 561.600,00€, 85% co-financed by the Norte2020 program.