People:Jürgen Giesl
From Termination-Portal.org
(Redirected from User:Giesl)
Jump to navigationJump to search
Jürgen Giesl
- Professor in the Department of Research Group Computer Science 2 (RWTH Aachen, Germany)
- home page: http://verify.rwth-aachen.de/giesl/
- email: mailto:giesl@informatik.rwth-aachen.de
