Formal Verification Techniques for Model Transformations: A Tridimensional Classification.
Moussa AmraniBenoît CombemaleLevi LucioGehan M. K. SelimJürgen DingelYves Le TraonHans VangheluweJames R. CordyPublished in: J. Object Technol. (2015)
Keyphrases