TY  - RPRT
TI  - Correct-by-construction model composition: Application to the Invasive Software Composition method
AU  - Mounira Kezadri Hamiaz
AU  - Marc Pantel
AU  - Benoît Combemale
AU  - Xavier Thirioux
PY  - 2014
DO  - 10.4204/eptcs.147.8
UR  - https://arxiv.org/abs/1404.0853
ID  - 1404.0853
ER  -