Ernst-Ruediger Olderog
Identifiers
- name variant Ernst-Ruediger Olderog 0.60 · backfill
Papers (1)
- Verification of Object-Oriented Programs: a Transformational Approach cs.LO · 2010 · author #3
Mentions
- 1004.4656 #3 · backfill · confidence 0.70 Ernst-Ruediger Olderog
Frequent Coauthors
- Frank S. de Boer 1 shared papers
- Krzysztof R. Apt 1 shared papers
- Stijn de Gouw 1 shared papers