A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux. A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators. In Stephan Merz, Jun Pang, editors, Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Volume 8829 of Lecture Notes in Computer Science, pages 235-250, Springer, 2014. [doi]

This author has not been identified. Look up 'Mounira Kezadri Hamiaz' in GoogleThis author has not been identified. Look up 'Marc Pantel' in GoogleThis author has not been identified. Look up 'Benoît Combemale' in GoogleThis author has not been identified. Look up 'Xavier Thirioux' in Google

runs on WebDSL