Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

ERC

SYMCAR

Project ID: 639270
Finanziato nell'ambito di

Symbolic Computation and Automated Reasoning for Program Analysis

Dal 2016-04-01 al 2021-03-31, progetto in corso

Dettagli del progetto

Costo totale:

EUR 1 500 000

Contributo UE:

EUR 1 500 000

Invito a presentare proposte:

ERC-2014-STGSee other projects for this call

Meccanismo di finanziamento:

ERC-STG - Starting Grant

Obiettivo

To know more