@misc{indiciae26c9d2b762f4,
  title = {Tighter Loop Bound Analysis (Technical report)},
  author = {Pavel Čadek and Jan Strejček and Marek Trtík},
  year = {2016},
  url = {https://arxiv.org/abs/1605.03636},
  note = {Source identifier: 1605.03636}
}