Certifying and Reasoning on Cost Annotations in C Programs.

Nicholas Ayache, Roberto M. Amadio, Yann Rgis-Gianas

Browse the full FMICS paper archive.