Write a Blog >>
DLS 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018

Not registered as user yet

Name: Tomás Diaz

Affiliation: University of Chile, Chile


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

SPLASH 2018-profile
View general profile