Registered user since Mon 25 Aug 2025
Name:Jérôme Leroux
Country:France
Affiliation:LaBRI, Univ. Bordeaux, CNRS, Bordeaux INP, Talence, France
Personal website: https://www.labri.fr/perso/leroux/
Research interests:Formal Verification
Contributions
POPL 2026-profile
View general profile
View general profile