Jump to content

News:Certification Problem Format

From Termination-Portal.org
Revision as of 10:04, 29 September 2009 by Thiemann (talk | contribs) (Created page with '<!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax here …')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


Sep 29, 2009

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

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=News:Certification_Problem_Format&oldid=902"