News for hackers. Stuff that matters.

A comment on QED at Large: A Survey of Engineering of Formally Verified Software. Parent comment

Re:QED at Large: A Survey of Engineering of Formally Verifie... by taliaringer on Saturday September 07, 2019 @06:59PM (#20907228)
Yes, though it is free to create an account.
[ Parent | on HN ]

There are no comments on this comment yet.