TY  - RPRT
TI  - Towards Energy Consumption Verification via Static Analysis
AU  - Pedro Lopez-Garcia
AU  - Remy Haemmerle
AU  - Maximiliano Klemen
AU  - Umer Liqat
AU  - Manuel V. Hermenegildo
PY  - 2015
UR  - https://arxiv.org/abs/1512.09369
ID  - 1512.09369
ER  -