News for hackers. Stuff that matters.

A comment on Modeling Redux with TLA+. Parent comment

Re:Modeling Redux with TLA+ by elcapitan on Tuesday March 13, 2018 @09:17AM (#16575834)
That makes total sense. Thanks!
[ Parent | on HN ]

There are no comments on this comment yet.