Stijn de Gouw

Identifiers

• name variant Stijn de Gouw 0.60 · backfill

Papers (1)

1. Verification of Object-Oriented Programs: a Transformational Approach cs.LO · 2010 · author #4

Mentions

• 1004.4656 #4 · backfill · confidence 0.70 Stijn de Gouw

Frequent Coauthors

• Ernst-Ruediger Olderog 1 shared papers
• Frank S. de Boer 1 shared papers
• Krzysztof R. Apt 1 shared papers