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 |