Tools:VMTL
From Termination-Portal.org
Jump to navigationJump to search
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
