@misc{indiciaef9b20c372626,
  title = {The Reachability of Computer Programs},
  author = {Reginaldo I. Silva Filho and Ricardo L. Azevedo da Rocha and Camila Leite Silva and Ricardo H. Gracini Guiraldelli},
  year = {2017},
  url = {https://arxiv.org/abs/1708.06877},
  note = {Source identifier: 1708.06877}
}