Not registered as user yet
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 | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile
Not registered as user yet
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 | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||