Communication Dans Un Congrès
Année : 2010
Annick Billon-Coat : Connectez-vous pour contacter le contributeur
https://ensta-bretagne.hal.science/hal-00569028
Soumis le : jeudi 24 février 2011-10:17:25
Dernière modification le : jeudi 21 septembre 2023-16:30:03
Dates et versions
Identifiants
- HAL Id : hal-00569028 , version 1
Citer
Amine Raji, Philippe Dhaussy, Bruno Aizier. Automating Context Description for Software Formal Verification. Workshop MoDVVa, Model-Driven Engineering, Verification, and Validation, 2010, Oslo, Norway. ⟨hal-00569028⟩
Collections
110
Consultations
0
Téléchargements