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 bjz_ on Saturday September 07, 2019 @08:55AM (#20903472)
Do you have to log in to access the link?
[ Parent | on HN ]
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 ]