Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations.

Hanh Nhi Tran, Christian Percebois

Browse the full ICST paper archive.