Ernst-Ruediger Olderog

Identifiers

• name variant Ernst-Ruediger Olderog 0.60 · backfill

Papers (1)

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