@misc{indiciaeec90acf65380,
  title = {Bounded Model Checking of Pointer Programs Revisited},
  author = {Witold Charatonik and Piotr Witkowski},
  year = {2016},
  url = {https://arxiv.org/abs/1602.09061},
  note = {Source identifier: 1602.09061}
}