Peter Schachte -

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