— Roméo La Spina —

Doctorant en Informatique

Exposés

• Journées des GT CLAP/HiFi/LVP du GDR GPL 2023

— Preuve formelle d'un analyseur flots de données paramétré par un ordre d'itération [Slides]