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 Twirrim on Friday January 18, 2019 @11:16AM (#18940300)
Indeed. As I recall, he was really happy to hear my team was using it for the component.
[ Parent | on HN ]

There are no comments on this comment yet.