|
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 |
|
|
|
1066537
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de FranceLaboratoire Méthodes Formelles |
|
Formally Verified Programs, Certified Tools and Numerical Computations |
TOCCATA |
researchteam |
Université Paris-Saclay; Bâtiment 650 ; 91405 ORSAY CEDEX |
|
2021-01-01 |
|
|
|
1066536
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de FranceLaboratoire Méthodes Formelles |
|
Modeling and Exploitation of Interaction and Concurrency |
MEXICO |
researchteam |
ENS Paris-Saclay, 4 avenue des Sciences, 91190, Gif-sur-Yvette |
|
2021-01-01 |
|
|
|
1086683
Infos complémentaires |
parentName_s |
Inria Saclay - Ile de FranceLaboratoire Méthodes Formelles |
|
Quantum Computation Structures |
QuaCS |
researchteam |
ENS Paris Saclay, 4, avenue des Sciences, 91190Gif-sur-Yvette, France |
|
|
|
|