Home > Authorities > Grants > Record #13192 > print

001     13192
005     20230301174645.0
024 7 _ |a G:(EU-Grant)280053
|d 280053
|2 CORDIS
024 7 _ |a G:(EU-Call)ERC-2011-StG_20101014
|d ERC-2011-StG_20101014
|2 CORDIS
024 7 _ |a corda_______::280053
|2 originalID
035 _ _ |a G:(EU-Grant)280053
150 _ _ |a Validation of Concurrent Software Across Abstraction Layers
|y 2011-12-01 - 2017-11-30
371 _ _ |a THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
|b UOXF
|d United Kingdom
|e http://www.ox.ac.uk
|v CORDIS
372 _ _ |a ERC-2011-StG_20101014
|s 2011-12-01
|t 2017-11-30
450 _ _ |a CPROVER
|w d
|y 2011-12-01 - 2017-11-30
510 1 _ |0 I:(DE-588b)5098525-5
|a European Union
|2 CORDIS
909 C O |o oai:juser.fz-juelich.de:124862
|p authority:GRANT
|p authority
909 C O |o oai:juser.fz-juelich.de:124862
970 _ _ |a oai:dnet:corda_______::7fd34e26275f8c433d0ed868a4404cd1
980 _ _ |a G
980 _ _ |a CORDIS
980 _ _ |a AUTHORITY

LibraryCollectionCLSMajorCLSMinorLanguageAuthor
Marc 21