Alexander Ferber -

Not registered as user

Name:Alexander Ferber

Affiliation:RWTH Aachen University

Contributions

2026

ICGT

Author of Approximately Compatible Graph Predicates: Verifying Program Termination using Graph Grammars within the ICGT Research Papers-track