News for hackers. Stuff that matters.

A comment on Formal Verification Creates Hacker-Proof Code.

Re:Formal Verification Creates Hacker-Proof Code by andybak on Friday October 21, 2016 @01:02PM (#12762223)
Mods - please label this audio (and auto-playing)
[ Parent | on HN ]

There are no comments on this comment yet.