Analyse des systèmes mobiles par interprétation abstraite / par Jérôme Feret. Thèse,
Palaiseau, 2005
Information trouvée : Le forumaire de thèse ne comporte pas le nom du directeur de soutenance mais répète
l'information "sous la direction de Jérôme Feret"
http://id.loc.gov/authorities/names/nb2017020359, 2021-07-01
Information trouvée : Feret, Jérôme
https://www.di.ens.fr/~feret/, 2021-07-01
Information trouvée : Informaticien. Chargé de recherche INRIA, membre de l'équipe de recherche Analyse
statique par interprétation abstraite (ANTIQUE), Département d'informatique (DI-ENS,
UMR 8548), École normale supérieure, Paris