Approximately Compatible Graph Predicates - Verifying Program Termination Using Graph Grammars.

Alexander Ferber, Ira Fesefeldt, Thomas Noll, Emmett Rayes

Browse the full ICGT paper archive.