[Termtools] Termination Competition 2012

René Thiemann rene.thiemann at uibk.ac.at
Thu Jun 28 10:52:10 CEST 2012


Dear all,

those of you who would like to read or write comments on this years competition, please visit

http://www.termination-portal.org/wiki/Termination_Competition_2012_Comments
(initiative by Johannes)

Enjoy the competition,
René


More information about the Termtools mailing list