Communication Dans Un Congrès
Année :
Dtn Ensieta : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00517276
Soumis le : mardi 14 septembre 2010-09:17:29
Dernière modification le : lundi 14 mars 2022-11:08:06
Dates et versions
Identifiants
- HAL Id : hal-00517276 , version 1
Citer
Philippe Dhaussy, Frédéric Boniol, Stephane de Belloy, Julien Auvray, Eric Landel. Using context descriptions and property definition patterns for software formal verification. ICSTW'08, IEEE International Conference on Software Testing Verification and Validation Workshop, 2008, France. ⟨hal-00517276⟩
Collections
55
Consultations
0
Téléchargements