conf.researchr.org / 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