Verifying Graph Transformations with Guarded Logics.

Jon Hal Brenas, Rachid Echahed, Martin Strecker

Browse the full TASE paper archive.