Thèse de Oana Andreescu

"Static analysis of functional programs with application to the frame problem in deductive verification" thèse de doctorat de l'université de Rennes 1 en informatique