/> Abstract Interpretation



Email: radhia[point]cousot[arobase]ens [point]fr
Address: École Normale Supérieure, 45 rue d'Ulm, 75230 Paris Cedex 05, France