News:Certification Problem Format
From Termination-Portal.org
Jump to navigationJump to search
Sep 29, 2009
Tools:A3PAT, Tools:CeTA, and Tools:CoLoR have agreed upon a common certification problem format.
- This page was last edited on 7 October 2009, at 13:48.
- About Termination-Portal.org (Impressum)