Dominique Larchey-Wendling

Chercheur au CNRS, outils logiques pour la vérification de programmes informatiques.