Thèse de TIMOTHEE HAUDEBOURG

"Automatic Verification of Higher-Order Functional Programs using Regular Tree Languages" thèse de doctorat de l'université de Rennes 1 en informatique