| |
464237
|
Infos complémentaires |
| parentName_s |
Department of Formal Methods |
|
Carbone |
CARBONE |
researchteam |
|
|
|
|
|
| |
529408
|
Infos complémentaires |
| parentName_s |
Inria Nancy - Grand EstDepartment of Formal Methods |
|
Designing the Future of Computational Models |
MOCQUA |
researchteam |
615 rue du Jardin Botanique 54600 Villers-lès-Nancy |
|
2018-01-01 |
|
|
| |
206038
|
Infos complémentaires |
| parentName_s |
Department of Formal Methods |
|
Development of specifications |
DEDALE |
researchteam |
|
|
|
|
|
| |
206043
|
Infos complémentaires |
| parentName_s |
Department of Formal Methods |
|
Logic, Proof Theory and Programming |
TYPES |
researchteam |
|
|
|
|
|
| |
107895
|
Infos complémentaires |
| parentName_s |
Max-Planck-Institut für InformatikInria Nancy - Grand EstDepartment of Formal Methods |
|
Modeling and Verification of Distributed Algorithms and Systems |
VERIDIS |
researchteam |
|
|
2012-07-01 |
|
|
| |
445522
|
Infos complémentaires |
| parentName_s |
Inria Nancy - Grand EstDepartment of Formal Methods |
|
Proof techniques for security protocols |
PESTO |
researchteam |
|
|
2016-01-01 |
|
|
| |
206041
|
Infos complémentaires |
| parentName_s |
Department of Formal Methods |
|
Proof-oriented development of computer-based systems |
MOSEL |
researchteam |
|
|
|
|
|
