Benedikt Wagner (Karlsruhe Institute of Technology (KIT))

Identifiers

• name variant Benedikt Wagner (Karlsruhe Institute of Technology (KIT)) 0.50 · backfill

Papers (1)

1. Understanding Counterexamples for Relational Properties with DIbugger cs.SE · 2019 · author #7

Mentions

No mention provenance yet.

Frequent Coauthors

• Bernhard Beckert (Karlsruhe Institute of Technology (KIT)) 1 shared papers
• Chiara Staudenmaier (Karlsruhe Institute of Technology (KIT)) 1 shared papers
• Etienne Brunner (Karlsruhe Institute of Technology (KIT)) 1 shared papers
• Joana Plewnia (Karlsruhe Institute of Technology (KIT)) 1 shared papers
• Michael Kirsten (Karlsruhe Institute of Technology (KIT)) 1 shared papers
• Mihai Herda (Karlsruhe Institute of Technology (KIT)) 1 shared papers
• Pascal Zwick (Karlsruhe Institute of Technology (KIT)) 1 shared papers
• Ulla Scheler (Karlsruhe Institute of Technology (KIT)) 1 shared papers