@misc{indiciae39bd1968dbdd,
  title = {Certifying cost annotations in compilers},
  author = {Roberto M. Amadio and Nicolas Ayache and Yann Régis-Gianas and Ronan Saillard},
  year = {2010},
  url = {https://arxiv.org/abs/1010.1697},
  note = {Source identifier: 1010.1697}
}