![Agustín Borgna](https://conf.researchr.org/getProfileImage/agustinborgna/86358369-cef9-4910-a5cf-190b17e4ee93/small.jpg?1711666575000)
Registered user since Mon 13 Sep 2021
Name:Agustín Borgna
Country:Argentina
Affiliation:Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France and Université Paris-Saclay, CNRS, Laboratoire Méthodes Formelles, 91405, Orsay, France
Personal website: https://lmf.cnrs.fr/Perso/Agustin_Borgna
GitHub: https://github.com/aborgna
Contributions
SPLASH 2021-profile
View general profile
View general profile