Preuves, Programmes et Systèmes (Q3402795)
Aller à la navigation
Aller à la recherche
ancienne équipe de recherche CNRS/INRIA/Paris 7
- PPS
Langue | Libellé | Description | Également connu comme |
---|---|---|---|
français | Preuves, Programmes et Systèmes |
ancienne équipe de recherche CNRS/INRIA/Paris 7 |
|
anglais | Laboratory Preuves, Programmes et Systèmes |
former research institute in France, now part of IRIF |
|
Déclarations
1999
2 références
2 références
2 références
1 référence
grid.464059.a
janvier 2016
0 référence
Identifiants
1 référence
grid.464059.a
20 novembre 2017