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