|
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 |
615 rue du Jardin Botanique 54600 Villers-lès-Nancy |
|
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 |
|
|
|
|
|