Expressive Logics for VErifying the Net (PTDC/EEI-CTP/3506/2014)
Duration:
36months
Start date:
Friday, 1 July, 2016
Other members:
Mário Florido
Ana Gualdina Matos
António Porto
Ricardo Rocha
Cláudio Amaral
Inês Dutra
Vítor Costa
Pedro Vasconcelos
Financial support:
184 300EUR
Funding entity:
FCT - Fundação para a Ciência e Tecnologia
Project reference:
(PTDC/EEI-CTP/3506/2014)