TY  - RPRT
TI  - Certifying cost annotations in compilers
AU  - Roberto M. Amadio
AU  - Nicolas Ayache
AU  - Yann Régis-Gianas
AU  - Ronan Saillard
PY  - 2010
UR  - https://arxiv.org/abs/1010.1697
ID  - 1010.1697
ER  -