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