Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ira Fesefeldt
conf.researchr.org general profile
STAF 2026 profile
Not registered as user
Name:
Ira Fesefeldt
Affiliation:
Universität Duisburg-Essen
Contributions
2026
ICGT
Author of Approximately Compatible Graph Predicates: Verifying Program Termination using Graph Grammars within the ICGT Research Papers-track
Share
x
Thu 15 Oct 01:54