Write a Blog >>
Onward! 2018
Wed 7 - Thu 8 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

Contributions

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

SPLASH 2018-profile
View general profile