Backwards reasoning for model transformations: Method and applications

Robert Clarisó, Jordi Cabot, Esther Guerra, Juan de Lara. Backwards reasoning for model transformations: Method and applications. Journal of Systems and Software, 116:113-132, 2016. [doi]

Abstract

Abstract is missing.