• Sign in
  • Sign up
conf.researchr.org / Pascal Zwick
  • ETAPS 2019 profile
No Photo

Not registered as user

Name:Pascal Zwick

Contributions

2019

PERR

  • Author of Understanding Counterexamples for Relational Properties with DIbugger within the PERR-track
Share
xThu 7 Aug 06:18
using conf.researchr.org (v1.70.0)
Support page
Sign Up