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
Langue du document :
Anglais
Titre :
A Survey of Formal Verification Techniques for Model Transformations: A Tridimensional Classification
Date de publication/diffusion :
2014
Titre du périodique :
Journal of Technology
Titre particulier du numéro :
Progress in Formal Verification of Model Transformations
