Moussa Amrani, Benoît Combemale, Levi Lucio, Gehan M. K. Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy. Formal Verification Techniques for Model Transformations: A Tridimensional Classification. Journal of Object Technology, 14(3), 2015. [doi]
Abstract is missing.