A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators.

Mounira Kezadri Hamiaz, Marc Pantel, Benot Combemale, Xavier Thirioux

Browse the full ICFEM paper archive.