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

ERC

CPROVER

Project ID: 280053
Finanziato nell'ambito di

Validation of Concurrent Software Across Abstraction Layers

Dal 2011-12-01 al 2017-11-30, progetto in corso

Dettagli del progetto

Costo totale:

EUR 1 368 355

Contributo UE:

EUR 1 368 355

Coordinato in:

United Kingdom

Invito a presentare proposte:

ERC-2011-StG_20101014See other projects for this call

Meccanismo di finanziamento:

ERC-SG - ERC Starting Grant

Obiettivo

Informazioni correlate

Ricercatore principale

Daniel Heinrich Friedrich Kroening
Tel.: +44 1865 283506
Fax: +44 1865 283506
E-mail

Istituzione ospitante

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom

Contributo UE: EUR 1 368 355


WELLINGTON SQUARE UNIVERSITY OFFICES
OX1 2JD OXFORD
United Kingdom
Activity type: Higher or Secondary Education Establishments
Contatto amministrativo: Gill Wells
Tel.: +44 1865 289800
Fax: +44 1865 289801
E-mail

Beneficiari

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom

Contributo UE: EUR 1 368 355


WELLINGTON SQUARE UNIVERSITY OFFICES
OX1 2JD OXFORD
United Kingdom
Activity type: Higher or Secondary Education Establishments
Contatto amministrativo: Gill Wells
Tel.: +44 1865 289800
Fax: +44 1865 289801
E-mail

To know more