
Registered user since Sat 22 Jul 2017
Name: Jürgen Giesl
Country: Germany
Affiliation: RWTH Aachen University
Personal website: https://verify.rwth-aachen.de/giesl/
Research interests: Program Analysis, Verification, Rewriting, Automated Deduction
Contributions
SAS 2020 | Termination of Polynomial Loops | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2020-profile
View general profile
View general profile