Philippe Dhaussy Julien Auvray Stéphane de Belloy Frédéric Boniol Eric Landel Un langage de contexte de preuve pour la validation formelle de modèles logiciels. 173-189 2008 CAL conf/cal/2008 db/conf/cal/cal2008.html#DhaussyABBL08