Un langage de contexte de preuve pour la validation formelle de modèles logiciels. - Philippe Dhaussy; Julien Auvray; Stéphane de Belloy; Frédéric Boniol; Eric Landel (CAL, 2008)

Using context descriptions and property definition patterns for software formal verification. - Philippe Dhaussy; Julien Auvray; Stéphane de Belloy; Frédéric Boniol; Eric Landel (ICST Workshops, 2008)