Tools:VMTL

From Termination-Portal.org

Jump to: navigation, 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

Retrieved from "http://www.termination-portal.org/wiki/Tools:VMTL"

Categories: Tools | Vienna University of Technology | Austria

Views

Personal tools

Log in

Image (C) 2002-8 Gershon Elber. Used with permission.

Search

Toolbox