Laboratoire Spécification et Vérification
organisation laboratoire d'informatique de l'ENS de Cachan
Aussi : Lsv, LSV
Nature : institut de recherche, unité mixte de recherche
- coordonnées
- 48.79194, 2.33194
- création
- janvier 1998
- pays
- France
Catégories : instituts de recherche · organisations
Mots du lexique : laboratoire nom commun, spécification nom commun, vérification nom commun