| Designação do projeto: | Elven - Elven - Expressive Logics for VErifying the Net
(PTDC/EEI-CTP/3506/2014) |
| Código do projeto: | POCI-01-0145-FEDER-016844 |
| Instituição proponente/ Promotor líder/ Entidade coordenadora: | Faculdade de Ciências da Universidade do Porto |
| Parceiro(s) / Co-promotor(es) / Instituição(ões) participante(s): | INESC TEC; INSTITUTO DE TELECOMUNICAÇÕES |
| Data de início: | 2016-07-01 |
| Data de conclusão: | 2019-08-01 |
