Home > Authorities > Grants > Record #13013 > print

001     13013
005     20230301174638.0
024 7 _ |a G:(EU-Grant)291592
|d 291592
|2 CORDIS
024 7 _ |a G:(EU-Call)ERC-2011-ADG_20110209
|d ERC-2011-ADG_20110209
|2 CORDIS
024 7 _ |a corda_______::291592
|2 originalID
035 _ _ |a G:(EU-Grant)291592
150 _ _ |a ProofCert: Broad Spectrum Proof Certificates
|y 2012-01-01 - 2016-12-31
371 _ _ |a French Institute for Research in Computer Science and Automation
|b INRIA
|d France
|e http://www.inria.fr/en/
|v CORDIS
372 _ _ |a ERC-2011-ADG_20110209
|s 2012-01-01
|t 2016-12-31
450 _ _ |a PROOFCERT
|w d
|y 2012-01-01 - 2016-12-31
510 1 _ |0 I:(DE-588b)5098525-5
|a European Union
|2 CORDIS
909 C O |o oai:juser.fz-juelich.de:124683
|p authority:GRANT
|p authority
909 C O |o oai:juser.fz-juelich.de:124683
970 _ _ |a oai:dnet:corda_______::0a4992912bc0c38879595800593a9108
980 _ _ |a G
980 _ _ |a CORDIS
980 _ _ |a AUTHORITY

LibraryCollectionCLSMajorCLSMinorLanguageAuthor
Marc 21