[Termination tools] Re: termination competition

Salvador Lucas slucas at dsic.upv.es
Wed Mar 23 17:59:16 CET 2005



Aart Middeldorp wrote:

> By the way, why isn't MUterm participating? 

I am sorry, but I had/have no real time to make
MUTERM fit the requirements of the competition.

Best,

Salvador.



More information about the Termtools mailing list