Thèse : soutenance de Yann Salmon

«Analyse d'atteignabilité pour les programmes fonctionnels avec stratégie d'évaluation en profondeur» - thèse de doctorat de l'université de Rennes 1 en informatique