Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tomás Diaz
conf.researchr.org general profile
SPLASH 2018 profile
Registered user since Wed 25 Aug 2021
Name:
Tomás Diaz
Affiliation:
University of Chile, Chile
Contributions
2018
DLS
Author of A Trustworthy Mechanized Formalization of R within the DLS 2018-track
Share
x
Fri 27 Dec 04:49