Section: Partnerships and Cooperations
National Initiatives
Cooperation with J.-C. Régin from Univ. Nice on efficient graph filtering algorithms.
Cooperation with A. Miné from ENS Paris on abstract domains by M. Pelleau and C. Truchet .
Cooperation with J.-C. Régin from Univ. Nice on efficient graph filtering algorithms.
Cooperation with A. Miné from ENS Paris on abstract domains by M. Pelleau and C. Truchet .