Difference between revisions of "Termination Competition 2010"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) (Created page with 'The termination competition will be run during the Federated Logic Conference http://www.floc-conference.org/ in July 2010.') |
(No difference)
|
Revision as of 11:05, 29 April 2010
The termination competition will be run during the Federated Logic Conference http://www.floc-conference.org/ in July 2010.