302 articles – 345 Notices  [english version]
.:. Consultation > Liste par auteurs > Ayache .:.
2 documents classés par :
fulltext access Certifying and reasoning on cost annotations in C programs
Ayache N., Amadio R., Régis-Gianas Y.
FMICS 2012 - 17th International Workshop on Formal Methods for Industrial Critical Systems, France (2012) [hal-00702665 - version 2]
fulltext access Certifying cost annotations in compilers
Amadio R. M., Ayache N., Régis-Gianas Y., Saillard R.
Research report [hal-00524715 - version 1]