@misc{indiciae4bb4958f45fd,
  title = {Reusing Precisions for Efficient Regression Verification},
  author = {Dirk Beyer and Stefan Löwe and Evgeny Novikov and Andreas Stahlbauer and Philipp Wendler},
  year = {2013},
  url = {https://arxiv.org/abs/1305.6915},
  note = {Source identifier: 1305.6915}
}