Tools:THOR
From Termination-Portal.org
Revision as of 18:27, 26 June 2012 by J.waldmann (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...")
THOR ()
- developed at UPC, ES
- home page: http://www.lsi.upc.edu/~albert
- developers: Albert Rubio
- publication: