Publications

Export 2 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: Author is Dingel, Jürgen  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
D
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.
A
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.