slider button

< Browse > Home / Getting Started

| RSS | Twitter

UNDER CONSTRUCTION

Until this site is reconstructed, the web site for the TLA+ and PlusCal user community has been moved to http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html. For communication among members of the community, the Forum on this site has been replaced by the tlaplus Google group.

Leave a Reply 584603 views, 50 so far today

Comments are closed.