@misc{indiciae888f34acc05b,
  title = {Towards Energy Consumption Verification via Static Analysis},
  author = {Pedro Lopez-Garcia and Remy Haemmerle and Maximiliano Klemen and Umer Liqat and Manuel V. Hermenegildo},
  year = {2015},
  url = {https://arxiv.org/abs/1512.09369},
  note = {Source identifier: 1512.09369}
}