Thèse de Julien Lepiller

"Vérification d'isolation de fautes logicielle" thèse de doctorat de l'université de Rennes 1 en informatique