@PHDTHESIS{falco2009,
url = "http://www.theses.fr/2009GRE10239",
title = "Étude et mise en oeuvre de techniques de validation à l'exécution",
author = "Falcone, Yliès Carlo",
year = "2009",
pages = "1 vol. (258 p.)",
note = "Thèse de doctorat dirigée par Fernandez, Jean-ClaudeMounier, Laurent et Richier, Jean-Luc Informatique Université Joseph Fourier (Grenoble ; 1971-2015) 2009",
note = "2009GRE10239",
}