%0 Conference Paper %1 conf/se/BeyerLNSW14 %A Beyer, Dirk %A Löwe, Stefan %A Novikov, Evgeny %A Stahlbauer, Andreas %A Wendler, Philipp %B Software Engineering %D 2014 %E Hasselbring, Wilhelm %E Ehmke, Nils Christian %I GI %K dblp %P 41-42 %T Precision Reuse in CPAchecker. %U http://dblp.uni-trier.de/db/conf/se/se2014.html#BeyerLNSW14 %V P-227 %@ 978-388579-621-3

@inproceedings{conf/se/BeyerLNSW14, added-at = {2014-12-11T00:00:00.000+0100}, author = {Beyer, Dirk and Löwe, Stefan and Novikov, Evgeny and Stahlbauer, Andreas and Wendler, Philipp}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2318611444274ceb2cc58662aed931e56/dblp}, booktitle = {Software Engineering}, crossref = {conf/se/2014}, editor = {Hasselbring, Wilhelm and Ehmke, Nils Christian}, ee = {http://subs.emis.de/LNI/Proceedings/Proceedings227.html}, interhash = {2a148f469ffbbe593f6a8a4077845bf3}, intrahash = {318611444274ceb2cc58662aed931e56}, isbn = {978-388579-621-3}, keywords = {dblp}, pages = {41-42}, publisher = {GI}, series = {LNI}, timestamp = {2019-11-26T07:59:21.000+0100}, title = {Precision Reuse in CPAchecker.}, url = {http://dblp.uni-trier.de/db/conf/se/se2014.html#BeyerLNSW14}, volume = {P-227}, year = 2014 }