(1)
Cariou, E.; Belloir, N.; Barbier, F.; Djemam, N. OCL Contracts for the Verification of Model Transformations.
ECEASST
2010
,
24
.