|
1065839
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de FranceLaboratoire Méthodes Formelles |
|
Deduction modulo, interopérabilité et démonstration automatique |
DEDUCTEAM |
researchteam |
ENS Paris-Saclay |
|
2021-01-01 |
|
|
|
206117
Infos complémentaires |
parentName_s |
Inria Paris-Rocquencourt |
|
Deduction modulo, interopérabilité et démonstration automatique |
DEDUCTEAM |
researchteam |
|
|
|
2015-12-31 |
|
|
454729
Infos complémentaires |
parentName_s |
Laboratoire Spécification et Vérification [Cachan]Inria Saclay - Ile de France |
|
Deduction modulo, interopérabilité et démonstration automatique |
DEDUCTEAM |
researchteam |
ENS Cachan |
|
2016-01-01 |
2019-12-31 |
|
|
1042690
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de FranceLaboratoire Spécification et Vérification |
|
Deduction modulo, interopérabilité et démonstration automatique |
DEDUCTEAM |
researchteam |
ENS Paris-Saclay |
|
2020-01-01 |
2020-12-31 |
|