Difference between revisions of "News:Certification Problem Format"
From Termination-Portal.org
Jump to navigationJump to search (typo) |
|||
| Line 11: | Line 11: | ||
{{News | {{News | ||
| − | |text= [[Tools:A3PAT]], [[Tools:CeTA]], and [[Tools:CoLoR]] | + | |text= [[Tools:A3PAT]], [[Tools:CeTA]], and [[Tools:CoLoR]] have agreed upon a common [http://cl-informatik.uibk.ac.at/software/cpf certification problem format]. |
|date= Sep 29, 2009 | |date= Sep 29, 2009 | ||
}} | }} | ||
Latest revision as of 13:48, 7 October 2009
Sep 29, 2009
Tools:A3PAT, Tools:CeTA, and Tools:CoLoR have agreed upon a common certification problem format.
