News:Certification Problem Format
From Termination-Portal.org
Sep 29, 2009
Tools:A3PAT, Tools:CeTA, and Tools:CoLoR have agreed upon a common certification problem format.
Views
Personal tools
- This page was last modified on 7 October 2009, at 14:48.
- This page has been accessed 1,438 times.
- About Termination-Portal.org (Impressum)