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

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

Contributions

DLS 2018Author of A Trustworthy Mechanized Formalization of R within the DLS 2018-track
Show activities from other conferences

Using general profile