Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure.

Christian Percebois, Martin Strecker, Hanh Nhi Tran

Browse the full SEFM paper archive.