PREUVES, PROGRAMMES et SYSTÈMES
Consultation
Liste des articles
Liste par année
Liste par domaine
Liste par auteurs
Rechercher
302 articles – 345 Notices
[english version]
.:.
Consultation
>
Liste par auteurs
> Saillard .:.
1 document
Certifying cost annotations in compilers
Amadio R. M., Ayache N., Régis-Gianas Y., Saillard R.
Research report [hal-00524715 - version 1]