J\"urgen Christ
Identifiers
- name variant J\"urgen Christ 0.60 · backfill
Papers (3)
- Proof Tree Preserving Interpolation cs.LO · 2017 · author #1
- Weakly Equivalent Arrays cs.LO · 2014 · author #1
- Towards Bounded Infeasible Code Detection cs.PL · 2012 · author #1
Mentions
Frequent Coauthors
- Jochen Hoenicke 3 shared papers
- Alexander Nutz 1 shared papers
- Martin Sch\"af 1 shared papers