Projet de thèse:
Analyse des systèmes mobiles par Interprétation Abstraite

Jérôme FERET