Communication Dans Un Congrès
Année : 2008
Frédéric Davesne : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00340484
Soumis le : jeudi 20 novembre 2008-23:58:52
Dernière modification le : jeudi 11 janvier 2024-10:25:41
Dates et versions
Identifiants
- HAL Id : hal-00340484 , version 1
Citer
Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat. Verification and Adaptation of WF/.NET Components. Proceedings of the Workshop on Formal Aspects of Component Software (FACS 07), 2008, Paris, France. pp.39--55. ⟨hal-00340484⟩
126
Consultations
0
Téléchargements