People:Carsten Otto

From Termination-Portal.org

Jump to: navigation, search

Carsten Otto

Research and Teaching Assistant in the Department of Research Group Computer Science 2 (RWTH Aachen, Germany)
home page: http://verify.rwth-aachen.de/otto/
email: mailto:otto@informatik.rwth-aachen.de

Retrieved from "http://www.termination-portal.org/wiki/People:Carsten_Otto"

Categories: People | RWTH Aachen | Germany

Views

Personal tools

Log in

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

Search

Toolbox