@misc{indiciae86d8cc4d9836,
  title = {Injecting Abstract Interpretations into Linear Cost Models},
  author = {David Cachera and Arnaud Jobin},
  year = {2010},
  doi = {10.4204/eptcs.28.5},
  url = {https://arxiv.org/abs/1006.5098},
  note = {Source identifier: 1006.5098}
}