AMRANI, Moussa ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Lucio, Levi
Selim, Gehan M. K.
Combemale, Benoit
Dingel, Juergen
Vangheluwe, Hans
LeTraon, Yves
Cordy, James R.
Langue du document :
Anglais
Titre :
A Tridimensional Approach for Studying the Formal Verification of Model Transformations
Date de publication/diffusion :
2012
Nom de la manifestation :
First International Workshop on Verification and Validation of Model Transformations
Lieu de la manifestation :
Montreal, QC, Canada
Date de la manifestation :
April 21,2012
Titre de l'ouvrage principal :
Proceedings of the First Workshop on Verification and Validation of Model Transformations
