• Sign in
  • Sign up
conf.researchr.org / Peter Schachte
  • APLAS 2019 profile
  • POPL 2016 profile
  • SPLASH 2021 profile

Not registered as user yet

Name:Peter Schachte

Contributions

SAS 2021 Author of Disjunctive Interval Analysis within the SAS-track
APLAS 2019 Author of Dissecting Widening: Separating Termination from Information within the Research Papers-track
VMCAI Author of An Abstract Domain of Uninterpreted Functions within the VMCAI-track

Share
xThu 7 Jul 10:09
using conf.researchr.org (v1.56.1)
Support page
Sign Up