@misc{indiciae768fb6a740df,
  title = {Proceedings Fifth International Workshop on Verification and Program Transformation},
  author = {Alexei Lisitsa and Andrei P. Nemytykh and Maurizio Proietti},
  year = {2017},
  doi = {10.4204/eptcs.253},
  url = {https://arxiv.org/abs/1708.06887},
  note = {Source identifier: 1708.06887}
}