A Tridimensional Approach for Studying the Formal Verification of Model Transformations

TitleA Tridimensional Approach for Studying the Formal Verification of Model Transformations
Publication TypeWorkshop Paper
AuthorsAmrani, M, Lúcio L, Selim GMK, Combemale B, Dingel J, Vangheluwe H, Traon YL, Cordy JR
Workshop NameIEEE International Conference on Software Testing, Verification and Validation (ICST)
Year of Publication2012
Publication Languageeng