News:Certification Problem Format

From Termination-Portal.org

Jump to: navigation, search


Sep 29, 2009

Tools:A3PAT, Tools:CeTA, and Tools:CoLoR have agreed upon a common certification problem format.

Retrieved from "http://www.termination-portal.org/wiki/News:Certification_Problem_Format"
Personal tools