- Current Graduate Course
- Interprétation abstraite: application à la vérification et à l'analyse statique.
MPRI — Parisian Master of Research in Computer Science. École Normale Supérieure (salle UV)
- Interprétation abstraite: application à la vérification et à l'analyse statique.
MPRI — Parisian Master of Research in Computer Science. École Normale Supérieure (salle UV)
Email: radhia
Address: École Normale Supérieure, 45 rue d'Ulm, 75230 Paris Cedex 05, France |
![[point]](picts/full_stop.png){kind=small}
![[arobase]](picts/commercial_at.png){kind=small}