Communication Dans Un Congrès
Année : 2007
Dtn Ensieta : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00517284
Soumis le : mardi 14 septembre 2010-09:18:06
Dernière modification le : lundi 14 mars 2022-11:08:06
Dates et versions
Identifiants
- HAL Id : hal-00517284 , version 1
Citer
Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol. Mise en oeuvre d'unités de preuve pour la vérification formelle de modèles. Conf IDM'07, 2007, Toulouse, France. pp.101-116. ⟨hal-00517284⟩
Collections
51
Consultations
0
Téléchargements