News for hackers. Stuff that matters.

A comment on Formal Verification Creates Hacker-Proof Code. Parent comment

Re:Formal Verification Creates Hacker-Proof Code by sctb on Friday October 21, 2016 @01:12PM (#12762328)
Thank you, we've updated the link from https://www.quantamagazine.org/?powerpress_pinw=29937-podcas...
[ Parent | on HN ]

There are no comments on this comment yet.