Elven

 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)