A formalisation of the copy-modify-merge approach to version control in MDE

Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter. A formalisation of the copy-modify-merge approach to version control in MDE. Journal of Logic and Algebraic Programming, 79(7):636-658, 2010. [doi]

Abstract

Abstract is missing.