Statistics
Publications
2
Citations
100
H-Index
2
Active since
2014
Martin Bodin is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, deductive verification, and computing.
Publications per year
2014–2015
2
2
A trusted mechanised JavaScript specification
Martin Bodin, Arthur Charguéraud, Daniele Filaretti et al. · 2014 · 86 citations
1–2 of 2