Fabian Urrigshardt - STAF 2025

Tue 10 - Fri 13 June 2025 Koblenz, Germany

Not registered as user

Name:Fabian Urrigshardt

Country:Germany

Affiliation:University of Duisburg-Essen

Contributions

2025

ICGT

Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems

Show activities from other conferences

STAF 2025-profile
View general profile