Tools:TPA
From Termination-Portal.org
Revision as of 09:34, 19 May 2008 by Akoprowski (talk | contribs) (New page: <!-- 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 page yourself af...)
TPA (Termination Proved Automatically)
- developed at Eindhoven University of Technology, The Netherlands
- home page: http://www.win.tue.nl/tpa
- developers: Adam Koprowski
- publication: {{{publication}}}
