News for hackers. Stuff that matters.

A comment on The Case for Formal Methods.

Re:The Case for Formal Methods by pron on Tuesday April 16, 2019 @07:09AM (#19672625)
I've written some comments about this interview on the TLA+ subreddit: https://old.reddit.com/r/tlaplus/comments/bc37db/future_of_c...
[ Parent | on HN ]

There are no comments on this comment yet.