ARTEMIS - CESAR
Lead Participant:
FORMAL SOFTWARE CONSTRUCTION LIMITED
Abstract
Awaiting Public Project Summary
Lead Participant | Project Cost | Grant Offer |
|---|---|---|
| FORMAL SOFTWARE CONSTRUCTION LIMITED | £284,553 | £ 94,756 |
Participant |
||
| UNIVERSITY OF OXFORD | £656,583 | £ 546,928 |
| QUINTEC ASSOCIATES LIMITED | £187,437 | £ 62,416 |
| THE UNIVERSITY OF MANCHESTER | £621,911 | £ 518,052 |
| AIRBUS UK LIMITED |
People |
ORCID iD |