OCL contracts for the verification of model transformations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam. OCL contracts for the verification of model transformations. ECEASST, 24, 2009. [doi]

This author has not been identified. Look up 'Eric Cariou' in GoogleThis author has not been identified. Look up 'Nicolas Belloir' in GoogleThis author has not been identified. Look up 'Franck Barbier' in GoogleThis author has not been identified. Look up 'Nidal Djemam' in Google

runs on WebDSL