.:. Consultation > Par auteur > Arnaud .:.

1 document

Méthodes d'analyse statique de pire temps d'exécution de programmes Puaut I., Arnaud A. Interstices (2005) [inria-00000958 - version 1]