External content site (publications, course materials and artefacts)
A Tridimensional Approach for Studying the Formal Verification of Model Transformations
| Title | A Tridimensional Approach for Studying the Formal Verification of Model Transformations |
| Publication Type | Workshop Paper |
| Authors | Amrani, M, Lúcio L, Selim GMK, Combemale B, Dingel J, Vangheluwe H, Traon YL, Cordy JR |
| Workshop Name | IEEE International Conference on Software Testing, Verification and Validation (ICST) |
| Year of Publication | 2012 |
| Publication Language | eng |
© 2012-2019 Ansymo. All rights reserved. | 
Login
Login