.:. Browse > By authors > Ayache .:.

2 documents ordered by : Date Title first author name document type Submit date

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]

Certifying cost annotations in compilers Amadio R. M., Ayache N., Régis-Gianas Y., Saillard R. [hal-00524715 - version 1]