Martin Bodin - SPLASH 2018

Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States

Registered user since Mon 25 Jun 2018

Name:Martin Bodin

Country:United Kingdom

Affiliation:Imperial College London

Personal website: http://www.cmm.uchile.cl/~mbodin/

Contributions

2018

DLS

A Trustworthy Mechanized Formalization of R

Show activities from other conferences

SPLASH 2018-profile
View general profile