News for hackers. Stuff that matters.

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

Re:Introduction to TLA+ Model Checking in the Command Line by Sorrop on Friday January 18, 2019 @02:02AM (#18937544)
For the first question, there you go: https://lamport.azurewebsites.net/tla/formal-methods-amazon....
[ Parent | on HN ]

There are no comments on this comment yet.