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. In Houari A. Sahraoui, Mireille Blay-Fornarino, Yann-Gaël Guéhéneuc, editors, Langages et Modèles à Objets, LMO 2008, Montréal, Québec, Canada, 5-7 mars 2008. Volume L-1 of RNTI, pages 61-63, Cépaduès-Éditions, 2008. [doi]
Abstract is missing.