News for hackers. Stuff that matters.

A comment on Modeling Redux with TLA+. Parent comment

Re:Modeling Redux with TLA+ by sseveran on Tuesday March 13, 2018 @09:22AM (#16575859)
Plus his website has a bunch of good resources linked from it.

http://www.lamport.org

[ Parent | on HN ]

There are no comments on this comment yet.