Difference between revisions of "Tools:TPA"
From Termination-Portal.org
Jump to navigationJump to searchAkoprowski (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...) |
(No difference)
|
Revision as of 09:34, 19 May 2008
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}}}