@phdthesis{Gar10,
title = {Automatisation de la Certification Formelle de Syst\`emes Critiques par Instrumentation d'Interpr\'eteurs Abstraits },
author = {Garnacho, Manuel},
month = {aout},
year = {2010},
school = {Universit\'e de Grenoble},
team = {DCS},
}