Registered user since Wed 25 Aug 2021

Name:Tomás Diaz
Affiliation:University of Chile, Chile

Contributions

DLS 2018 Author of A Trustworthy Mechanized Formalization of R within the DLS 2018-track