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

Registered user since Mon 25 Jun 2018

Name:Martin Bodin
Country:United Kingdom
Affiliation:Imperial College London


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

SPLASH 2018-profile
View general profile