Journal Articles
Electronic Communications of the EASST
Year : 2009
GAELLE LANNUZEL : Connect in order to contact the contributor
https://hal-univ-pau.archives-ouvertes.fr/hal-01906776
Submitted on : Saturday, October 27, 2018-5:45:11 PM
Last modification on : Monday, November 7, 2022-5:24:33 PM
Dates and versions
Identifiers
- HAL Id : hal-01906776 , version 1
Cite
Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam. OCL Contracts for the Verification of Model Transformations. Electronic Communications of the EASST, 2009, 24. ⟨hal-01906776⟩
47
View
0
Download