---

Team ABSTRACTION — Semantics and Abstract Interpretation École Normale Supérieure & INRIA & CNRS Office École Normale Supérieure, 45 rue d'Ulm, 75005 Paris Main building, Direction staircase, Second floor Map

ENS — La Cour aux Ernest — March 26, 2011, 9:32 am

---

Email: radhiacousotens fr Address: École Normale Supérieure, 45 rue d'Ulm, 75230 Paris Cedex 05, France

Radhia Cousot's homepage

• Home
• Publications & Software
• Grants
• Teaching
• Contact