Laboratoire spécification et vérification

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 janvier 1997.

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

Liens externes

(fr) Site officiel
(fr) Site officiel (format court)

Notes et références

.

Portail de l’informatique
Portail des grandes écoles

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.