Bibtex de la publication

@PhDThesis{ Di2015.3,
author = {Dieumegard, Arnaud},
title = "{Formal Guaranties for Safety Critical Code Generation : the Case of Highly Variable Languages}",
year = {2015},
month = {janvier},
type = {Th├Ęse de doctorat},
school = {Institut National Polytechnique de Toulouse},
address = {Toulouse, France},
language = {francais},
note = {(Soutenance le 30/01/2015)}
}