Le Laboratoire Specification et Verification regroupe une vingtaine de chercheurs, enseignants-chercheurs, thesards et post-docs, autour du double theme de la specification et de la verification. Ecole Normale Superieure de Cachan, CNRS - UMR 8643.
Recherche etendue sur Laboratoire Specification et Verification (LSV) sur Alta
Vista - MSNSearch
- Mondus
- FranceRecherche - 404found
- Yahoo
US - YahooFrance - Merci France
- Voila
|