Difference between revisions of "Tools:KITTeL"
From Termination-Portal.org
Jump to navigationJump to search (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...") |
(No difference)
|
Latest revision as of 11:38, 25 April 2012
KITTeL (KITTeL)
- developed at Karlsruhe Institute of Technology (KIT), Germany
- home page: http://baldur.iti.kit.edu/~falke/kittel/
- developers: Stephan Falke
- publication: