Tools:KITTeL

From Termination-Portal.org

Revision as of 11:38, 25 April 2012 by Spf (talk | contribs) (Created page with " <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool pa...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

KITTeL (KITTeL)

developed at Karlsruhe Institute of Technology (KIT), Germany
home page: http://baldur.iti.kit.edu/~falke/kittel/
developers: Stephan Falke
publication:

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Tools:KITTeL&oldid=1202"

Navigation menu