conf.researchr.org / Philipp Wendler
Not registered as user yet
Name: Philipp Wendler
Contributions
ETAPS 2019 | Author of CPAchecker with Strategy Selection within the Posters-track |
VMCAI | Author of Program Analysis with Local Policy Iteration within the VMCAI-track |