|
90567
Infos complémentaires |
parentName_s |
Preuves, Programmes et SystèmesInria Paris-RocquencourtUniversité Paris Diderot - Paris 7Centre National de la Recherche Scientifique |
|
Design, study and implementation of languages for proofs and programs |
PI.R2 |
researchteam |
|
|
|
2015-12-31 |
|
|
1005019
Infos complémentaires |
parentName_s |
Centre National de la Recherche ScientifiqueInria de ParisUniversité Paris CitéInstitut de Recherche en Informatique Fondamentale |
|
Design, study and implementation of languages for proofs and programs |
PI.R2 |
researchteam |
|
|
2020-01-01 |
2022-12-31 |
|
|
454672
Infos complémentaires |
parentName_s |
Université Paris Diderot - Paris 7Centre National de la Recherche ScientifiqueInstitut de Recherche en Informatique FondamentaleInria de Paris |
|
Design, study and implementation of languages for proofs and programs |
PI.R2 |
researchteam |
|
|
2016-01-01 |
2019-12-31 |
|