Martin Bodin (VERIMAG - IMAG
Identifiers
- name variant Martin Bodin (VERIMAG - IMAG 0.60 · backfill
Papers (1)
- Modular Abstractions of Reactive Nodes using Disjunctive Invariants cs.PL · 2011 · author #2
Mentions
- 1109.1905 #2 · backfill · confidence 0.70 Martin Bodin (VERIMAG - IMAG
Frequent Coauthors
- David Monniaux (VERIMAG - Imag) 1 shared papers
- DI) 1 shared papers