Home › Publications

Publications

Export 2 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Dingel, Jürgen  [Clear All Filters]
Workshop Paper
Dingel, J, Lúcio L, Vangheluwe H, Varró D.  2012.  
Summary of the First Workshop on the Analysis of Model Transformations.
Proceedings of the First Workshop on the Analysis of Model Transformations. :1–2.
Amrani, M, Lúcio L, Selim GMK, Combemale B, Dingel J, Vangheluwe H, Traon YL, Cordy JR.  2012.  
A Tridimensional Approach for Studying the Formal Verification of Model Transformations.
IEEE International Conference on Software Testing, Verification and Validation (ICST). :921-928.