Matthieu Moy (VERIMAG - IMAG)
Identifiers
- name variant Matthieu Moy (VERIMAG - IMAG) 0.60 · backfill
Papers (3)
- PAGAI: a path sensitive static analyzer cs.PL · 2012 · author #3
- Succinct Representations for Abstract Interpretation cs.PL · 2012 · author #3
- Efficient and Playful Tools to Teach Unix to New Students cs.OS · 2011 · author #1
Mentions
Frequent Coauthors
- David Monniaux (VERIMAG - Imag) 2 shared papers
- Julien Henry (VERIMAG - IMAG) 2 shared papers