People:Jürgen Giesl

From Termination-Portal.org

Jump to: navigation, 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

Retrieved from "http://www.termination-portal.org/wiki/People:J%C3%BCrgen_Giesl"

Categories: People | RWTH Aachen | Germany

Views

Personal tools

Log in

Image (C) 2002-8 Gershon Elber. Used with permission.

Search

Toolbox