Communication Dans Un Congrès
Année : 2009
Eric Cariou : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01093419
Soumis le : mercredi 10 décembre 2014-16:07:05
Dernière modification le : lundi 7 novembre 2022-17:24:33
Dates et versions
Identifiants
- HAL Id : hal-01093419 , version 1
Citer
Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam. OCL contracts for the verification of model transformations. the Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009, Oct 2009, Denver, United States. ⟨hal-01093419⟩
41
Consultations
0
Téléchargements