Tools:TPA
From Termination-Portal.org
TPA (Termination Proved Automatically)
- developed at Eindhoven University of Technology, The Netherlands
- home page: http://www.win.tue.nl/tpa
- developers: Adam Koprowski
- publication:
Views
Personal tools
- This page was last modified on 13 May 2009, at 18:30.
- This page has been accessed 852 times.
- About Termination-Portal.org (Impressum)