Agustín Borgna

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

Contributions