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 …') |
(typo) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 11: | Line 11: | ||
{{News | {{News | ||
| − | |text= [[Tools: | + | |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.
