Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

ERC

FOVEDIS

Project reference: 678177
Funded under

Formal specification and verification of distributed data structures

From 2016-05-01 to 2021-04-30, ongoing project

Project details

Total cost:

EUR 1 300 000

EU contribution:

EUR 1 300 000

Coordinated in:

France

Call for proposal:

ERC-2015-STGSee other projects for this call

Funding scheme:

ERC-STG - Starting Grant

Objective

Related information

Open Access

Host Institution

UNIVERSITE PARIS DIDEROT - PARIS 7
France

EU contribution: EUR 1 300 000


RUE THOMAS MANN 5
75205 PARIS
France

Beneficiaries

UNIVERSITE PARIS DIDEROT - PARIS 7
France

EU contribution: EUR 1 300 000


RUE THOMAS MANN 5
75205 PARIS
France

To know more

Record Number: 199509 / Last updated on: 2015-12-21