Tools:VMTL
From Termination-Portal.org
Revision as of 10:45, 30 December 2009 by Schernhammer (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 page y…')
VMTL (Vienna Modular Termination Laboratory)
- developed at Vienna University of Technology, Austria
- home page: http://www.logic.at/vmtl/
- developers: Felix Schernhammer, Bernhard Gramlich
- publication: VMTL - A Modular Termination Laboratory