guest ::
VERIWARE
From Software Verification to Everyware Verification
| Coordinator | THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD |
| Grant period | 2010-05-01 - 2016-04-30 |
| Funding body | European Union |
| Call number | ERC-2009-AdG |
| Grant number | 246967 |
| Identifier | G:(EU-Grant)246967 |
Recent Publications
There are no publications
Record created 2012-12-05, last modified 2023-03-01