TY - RPRT TI - A Formal Definition of Model Composition Traceability AU - Youness Laghouaouta AU - Adil Anwar AU - Mahmoud Nassar PY - 2015 UR - https://arxiv.org/abs/1512.07564 ID - 1512.07564 ER -