Communication Dans Un Congrès
Année : 2008
Dtn Ensieta : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00517275
Soumis le : mardi 14 septembre 2010-09:17:20
Dernière modification le : lundi 14 mars 2022-11:08:06
Dates et versions
Identifiants
- HAL Id : hal-00517275 , version 1
Citer
Philippe Dhaussy, Julien Auvray, Stephane de Belloy, Frédéric Boniol, Eric Landel. Un langage de contexte de preuve pour la validation formelle de modèles logiciels. conférences LMO'08 et CAL'08, Mar 2008, Montréal, Canada. pp.Non renseigne. ⟨hal-00517275⟩
Collections
65
Consultations
0
Téléchargements