Write a Blog >>
Onward! 2018
Wed 7 - Thu 8 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018

Registered user since Wed 25 Aug 2021

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

Contributions

DLS 2018 A Trustworthy Mechanized Formalization of R
Show activities from other conferences

SPLASH 2018-profile
View general profile