guest ::
PROOFCERT
ProofCert: Broad Spectrum Proof Certificates
| Coordinator | French Institute for Research in Computer Science and Automation |
| Grant period | 2012-01-01 - 2016-12-31 |
| Funding body | European Union |
| Call number | ERC-2011-ADG_20110209 |
| Grant number | 291592 |
| Identifier | G:(EU-Grant)291592 |
Recent Publications
There are no publications
Record created 2012-12-05, last modified 2023-03-01