Thèse de Gurvan Cabon

"Certification d'analyses non locales avec une sémantique annotée" thèse de doctorat de l'Université de Rennes 1 en informatique