Verified Operational Patterns with Graph Transformation.

Tams Mszros, Tihamer Levendovszky

Browse the full ICST paper archive.