Mamy Razafintsialonina

Registered user since Mon 26 May 2025

Name:Mamy Razafintsialonina
Affiliation:Université Paris-Saclay, CEA, List, Palaiseau / Sorbonne Université, CNRS, LIP6, Paris
Research interests:Program Verification, Abstract Interpretation

Contributions