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 | Author of Termination of Polynomial Loops within the SAS-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile