Thèse : soutenance de Vincent Laporte

«Vérification d'analyses statiques pour langages de bas niveau» - thèse de doctorat de l'université de Rennes 1 en informatique