%0 Journal Article %1 journals/corr/abs-1305-6915 %A Beyer, Dirk %A Löwe, Stefan %A Novikov, Evgeny %A Stahlbauer, Andreas %A Wendler, Philipp %D 2013 %J CoRR %K %T Reusing Precisions for Efficient Regression Verification %U http://dblp.uni-trier.de/db/journals/corr/corr1305.html#abs-1305-6915 %V abs/1305.6915

@article{journals/corr/abs-1305-6915, added-at = {2023-12-13T00:30:10.000+0100}, author = {Beyer, Dirk and Löwe, Stefan and Novikov, Evgeny and Stahlbauer, Andreas and Wendler, Philipp}, biburl = {https://www.bibsonomy.org/bibtex/24ac9124d8fda216ce2ebc0d1a07b7769/admin}, ee = {http://arxiv.org/abs/1305.6915}, interhash = {64404be1abf0c8cfac61f77461e00bd1}, intrahash = {4ac9124d8fda216ce2ebc0d1a07b7769}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T00:30:10.000+0100}, title = {Reusing Precisions for Efficient Regression Verification}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1305.html#abs-1305-6915}, volume = {abs/1305.6915}, year = 2013 }