Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

ERC

CPROVER

Project ID: 280053
Financé au titre de

Validation of Concurrent Software Across Abstraction Layers

De 2011-12-01 à 2017-11-30, projet clôturé

Détails concernant le projet

Coût total:

EUR 1 368 355

Contribution de l'UE:

EUR 1 368 355

Coordonné à/au(x)/en:

United Kingdom

Appel à propositions:

ERC-2011-StG_20101014See other projects for this call

Régime de financement:

ERC-SG - ERC Starting Grant

Objectif

Informations connexes

Chercheur principal

Daniel Heinrich Friedrich Kroening
Tél.: +44 1865 283506
Fax: +44 1865 283506
E-mail

Institution d'accueil

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

Contribution de l'UE: EUR 1 368 355


WELLINGTON SQUARE UNIVERSITY OFFICES
OX1 2JD OXFORD
United Kingdom
Activity type: Higher or Secondary Education Establishments
Contact administratif: Gill Wells
Tél.: +44 1865 289800
Fax: +44 1865 289801

Contact the organisation

Bénéficiaires

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

Contribution de l'UE: EUR 1 368 355


WELLINGTON SQUARE UNIVERSITY OFFICES
OX1 2JD OXFORD
United Kingdom
Activity type: Higher or Secondary Education Establishments
Contact administratif: Gill Wells
Tél.: +44 1865 289800
Fax: +44 1865 289801

Contact the organisation

To know more