TY  - RPRT
TI  - Understanding Counterexamples for Relational Properties with DIbugger
AU  - Mihai Herda
AU  - Michael Kirsten
AU  - Etienne Brunner
AU  - Joana Plewnia
AU  - Ulla Scheler
AU  - Chiara Staudenmaier
AU  - Benedikt Wagner
AU  - Pascal Zwick
AU  - Bernhard Beckert
PY  - 2019
DO  - 10.4204/eptcs.296.4
UR  - https://arxiv.org/abs/1907.03996
ID  - 1907.03996
ER  -