%0 Conference Proceedings
%T Un langage de contexte de preuve pour la validation formelle de modèles logiciels
%+ Développement des Technologies Nouvelles (DTN)
%A Dhaussy, Philippe
%A Auvray, Julien
%A de Belloy, Stephane
%A Boniol, Frédéric
%A Landel, Eric
%< avec comité de lecture
%( conférences LMO'08 et CAL'08
%B conférences LMO'08 et CAL'08
%C Montréal, Canada
%P Non renseigne
%8 2008-03-07
%D 2008
%Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers
%G French
%L hal-00517275
%U https://hal.science/hal-00517275
%~ ENSTA-BRETAGNE
%~ ENSTA-BRETAGNE-STIC
%~ ENSIETA-DTN