Laboratoire Spécification et Vérification (Q3214388)
Aller à la navigation
Aller à la recherche
laboratoire d'informatique de l'ENS de Cachan
- Lsv
- LSV
| Langue | Libellé | Description | Également connu comme |
|---|---|---|---|
| français | Laboratoire Spécification et Vérification |
laboratoire d'informatique de l'ENS de Cachan |
|
| anglais | Laboratoire Spécification et Vérification |
LSV is the computer Science laboratory of ENS Cachan |
|
Déclarations
48°47'30.984"N, 2°19'54.984"E
0 référence
2 références
2 références
1 janvier 2021
0 référence
61 Av du président Wilson (français)
94235
1 référence
Identifiants
1 référence
2 références
grid.464035.0
20 novembre 2017
grid.464035.0
0 référence