• Sign in
  • Sign up
conf.researchr.org / Philipp Wendler
  • ETAPS 2019 profile
  • POPL 2016 profile

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

Share
xFri 23 Apr 12:53
using conf.researchr.org (v1.45.0)
Support page
Sign Up