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