34328 articles – 26891 Notices  [english version]
.:. Consultation > Par auteur > 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.
Dans FMICS 2012 - 17th International Workshop on Formal Methods for Industrial Critical Systems (2012) [hal-00702665 - version 2]
fulltext access Certifying cost annotations in compilers
Amadio R. M., Ayache N., Régis-Gianas Y., Saillard R.
[hal-00524715 - version 1]