Difference between revisions of "News:Certification Problem Format"
From Termination-Portal.org
Jump to navigationJump to search (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 …') |
(No difference)
|
Revision as of 10:04, 29 September 2009
Sep 29, 2009
Tools:CeTA, Tools:CoLoR, and Tools:A3PAT have agreed upon a common certification problem format.