LSV, Cachan
The Laboratoire Spécification et Vérification is the Computer Science laboratory of the École Normale Supérieure de Cachan, with about twenty researchers, PhD students and post-docs on the themes of specification and verification.

No queries for www.lsv.ens-cachan.fr/index-en.php