Preuves, Programmes et Systèmes
organisation
ancienne équipe de recherche CNRS/INRIA/Paris 7
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Preuves,_Programmes_et_Systèmes
Lien Wikidata : https://www.wikidata.org/wiki/Q3402795
Propriétés
- coordonnees
- 48.829905,2.381463
- date_creation
- +1999-00-0
- pays
- France