Bibtex de la publication

@PhDThesis{ Ca2001.11,
author = {Cassé, Hugues},
title = "{Analyse des références mémoires en C par interprétation abstraite }",
year = {2001},
month = {mars},
type = {Thèse de doctorat},
school = {Université Paul Sabatier},
address = {Toulouse, France}
}