guest ::
INVEST
inVEST: Foundations for a Shift from Verification to Synthesis
| Coordinator | Université Libre de Bruxelles |
| Grant period | 2012-01-01 - 2017-09-30 |
| Funding body | European Union |
| Call number | ERC-2011-StG_20101014 |
| Grant number | 279499 |
| Identifier | G:(EU-Grant)279499 |
Recent Publications
There are no publications
Record created 2012-12-05, last modified 2023-03-01