Not registered as user yet

Name: Tomás Diaz

Affiliation: University of Chile, Chile

Contributions

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