Checking Model Transformation Refinement
Research Area: | Uncategorized | Year: | 2013 |
---|---|---|---|
Type of Publication: | In Proceedings | ||
Authors: |
|
||
Editor: | Keith Duddy and Gerti Kappel | Volume: | 7909 |
Book title: | Theory and Practice of Model Transformations - 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings | ||
Series: | Lecture Notes in Computer Science | Pages: | 158-173 |
BibTex: |
|||
Note: | Tier B;
Partners INRIA, ATOS, UAM |
||
[Bibtex] |