Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Florian Frohn
conf.researchr.org general profile
SPLASH 2023 profile
Registered user since Tue 17 Oct 2023
Name:
Florian Frohn
Country:
Germany
Affiliation:
RWTH Aachen University
Contributions
2023
Static Analysis Symposium
Author of ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses within the SAS 2023-track
Share
x
Sun 22 Dec 06:55
