Preuves, Programmes et Systèmes
organisation ancienne équipe de recherche CNRS/INRIA/Paris 7
Aussi : PPS
Nature : institut de recherche, unité mixte de recherche, institution universitaire
- coordonnées
- 48.829905, 2.381463
- création
- 1999
- pays
- France
Catégories : instituts de recherche · universités · organisations