Laboratoire spécification et vérification

laboratoire d'informatique de l'ENS de Cachan
Laboratoire Spécification et Vérification
upright=Article à illustrer Organisation
Logotype du LSV.
Histoire
Fondation
Cadre
Code
UMR 8643
Type
Domaine d'activité
Siège social
61, avenue du Président-Wilson
Pays
Coordonnées
Organisation
Organisations mères
Affiliation
Site web
Localisation sur la carte de France
voir sur la carte de France
Red pog.svg
Localisation sur la carte d’Île-de-France
voir sur la carte d’Île-de-France
Red pog.svg

Le Laboratoire spécification et vérification (LSV) est le laboratoire de recherche en informatique de l'ENS Paris-Saclay.

Il a été créé en 1997[1] et est associé au Centre national de la recherche scientifique depuis .

Il compte aujourd'hui[Quand ?] dix-neuf membres permanents, environ autant de doctorants, ainsi que plusieurs membres associés.

Liens externesModifier

Notes et référencesModifier