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 |
