ECOOP 2025 (series) / 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
Using general profile