[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Comparison between the TLA tool-set and Alloy

Thanks Chris, that is helpful!

I would be interested in having a copy before June. Could you please send it to me as a private copy in advance? I will have a look at the conference and decide if I will join.

I will also have a look at your other references.

Thanks a lot!