@misc{indiciae4dbf660ef0a3,
  title = {Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art},
  author = {Dirk Beyer and Matthias Dangl},
  year = {2020},
  url = {https://arxiv.org/abs/1908.06271},
  note = {Source identifier: 1908.06271}
}