PDF:
Towards a Two Layered Verification Approach for Compiled Graph Transformation
Title | Towards a Two Layered Verification Approach for Compiled Graph Transformation |
Publication Type | Conference Paper |
Year of Publication | 2008 |
Authors | Horváth, Á. |
Editor | Heckel, R., and Taentzer, G. |
Conference Name | In Proc. of ICGT '08 , 4th Intl. Conference on Graph Transformation |
Publisher | Springer |