Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic Execution.

Florian Ege, Matthias Tichy

Browse the full MODELS paper archive.