dblp keys for Philipp Wendler

Philipp Wendler

Keys

# of data records = 33

homepages/61/9609 journals/sttt/BeyerLW22 journals/corr/abs-2208-05046 journals/jar/BeyerDW21 conf/tacas/0001W20 journals/sttt/BeyerLW19 journals/jar/BeyerDW18 phd/dnb/Wendler17 conf/gi/Wendler17 conf/vmcai/KarpenkovMW16 conf/cav/0001DW15 conf/forte/0001LW15 conf/spin/0001LW15 conf/spin/0001LW15a conf/tacas/DanglLW15 journals/corr/0001LW15 journals/corr/0001DW15 journals/corr/KarpenkovMW15 conf/cav/BeyerDW14 conf/se/BeyerLNSW14 conf/tacas/LoweMW14 conf/icse/ApelRWGB13 conf/sigsoft/BeyerLNSW13 conf/spin/BeyerW13 conf/tacas/Wendler13 journals/corr/abs-1305-6915 conf/fmcad/BeyerW12 conf/sigsoft/BeyerHKW12 conf/tacas/LoweW12 conf/kbse/ApelSWRB11 journals/corr/abs-1109-6926 journals/corr/abs-1110-0021 conf/fmcad/BeyerKW10

a service of  Schloss Dagstuhl - Leibniz Center for Informatics