[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!