News for hackers. Stuff that matters.

A comment on Introduction to TLA+ Model Checking in the Command Line.

Re:Introduction to TLA+ Model Checking in the Command Line by jakeogh on Friday January 18, 2019 @04:43AM (#18938169)
The TLA+ Video Course by Leslie Lamport: https://news.ycombinator.com/item?id=16956778
[ Parent | on HN ]

There are no comments on this comment yet.