Amrani, Moussa ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Lúcio, Lévi
Selim, Gehan
Combemale, Benoît
Dingel, Jürgen
Vangheluwe, Hans
Le Traon, Yves ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Cordy, James
Language :
English
Title :
A Survey of Formal Verification Techniques for Model Transformations: A Tridimensional Classification
Publication date :
2014
Journal title :
Journal of Technology
Special issue title :
Progress in Formal Verification of Model Transformations
