Valentin W\"ustholz (ETH Zurich

Identifiers

• name variant Valentin W\"ustholz (ETH Zurich 0.60 · backfill

Papers (1)

1. The Dafny Integrated Development Environment cs.PL · 2014 · author #5

Mentions

• 1404.6602 #5 · backfill · confidence 0.70 Valentin W\"ustholz (ETH Zurich

Frequent Coauthors

• Department of Computer Science 1 shared papers
• K. Rustan M. Leino (Microsoft Research 1 shared papers
• Redmond 1 shared papers
• Switzerland) 1 shared papers
• USA) 1 shared papers
• WA 1 shared papers