- ABSOLV - Abstraction for large scale problem solving
- Jul 2018 - Jun 2021
- PN
- FCUL
- FCT-MCTES - Fundação para a Ciência e a Tecnologia (MEC)
- 240
- 54
- 1 Jul 2018
- 30 Jun 2021
- João Paulo Marques Silva, João Leite [Researcher], Matthias Knorr [Researcher], José Júlio Alferes [Researcher]
- FCUL