Bibtex de la publication

@TechReport{ deBoSaCa2008.1,
author = {de Michiel, Marianne and Bonenfant, Armelle and Sainrat, Pascal and Cassé, Hugues},
title = "{Normalisation de boucles pour l'évaluation du nombre maximum d'itérations}",
year = {2008},
month = {février},
type = {Rapport de recherche},
number = {IRIT/RR-2008-3-FR},
institution = {IRIT},
address = {Université Paul Sabatier, Toulouse},
language = {français},
URL = {http://www.irit.fr/publis/TRACES/RR-2008-3-FR.pdf}
}