@inproceedings{mci/Wendler2018,
author = {Wendler, Philipp},
title = {Towards Practical Predicate Analysis},
booktitle = {Ausgezeichnete Informatikdissertationen 2017},
year = {2018},
editor = {Hölldobler, Steffen} ,
pages = { 261-270 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}