Se connecter
Accueil
Actualités
Tribune Libre
Culture & Loisirs
Qui sommes-nous ?
Nous contacter
Les derniers commentaires
Recherche
Version web
Dominique Larchey-Wendling
Chercheur au CNRS, outils logiques pour la vérification de programmes informatiques.