Towards a Two Layered Verification Approach for Compiled Graph Transformation

CímTowards a Two Layered Verification Approach for Compiled Graph Transformation
Közlemény típusaConference Paper
Kiadás éve2008
SzerzőkHorváth, Á.
SzerkesztőHeckel, R., and Taentzer, G.
Konferencia neveIn Proc. of ICGT '08 , 4th Intl. Conference on Graph Transformation
KiadóSpringer
PDF: