Login / Signup
Pascal Zwick
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Data Structure
Desirable Properties
Relational Learning
Top Venues
HCVS/PERR@ETAPS
</>
Publications
</>
Mihai Herda
,
Michael Kirsten
,
Etienne Brunner
,
Joana Plewnia
,
Ulla Scheler
,
Chiara Staudenmaier
,
Benedikt Wagner
,
Pascal Zwick
,
Bernhard Beckert
Understanding Counterexamples for Relational Properties with DIbugger.
HCVS/PERR@ETAPS
(2019)