@PHDTHESIS{henry2014,
url = "http://www.theses.fr/2014GRENM037",
title = "Static analysis of program by Abstract Interpretation and Decision Procedures",
author = "Henry, Julien",
year = "2014",
note = "Thèse de doctorat dirigée par Monniaux, David et Moy, Matthieu Informatique Grenoble 2014",
note = "2014GRENM037",
url = "http://www.theses.fr/2014GRENM037/document",
}