News for hackers. Stuff that matters.

A comment on Dramatically Reducing Software Vulnerabilities [pdf]. Parent comment

Re:Dramatically Reducing Software Vulnerabilities [pdf] by adrianN on Wednesday October 05, 2016 @09:55AM (#12643791)
Not exactly what you're looking for, but maybe a good starting point

http://cs.stackexchange.com/questions/13785/formal-program-v...

[ Parent | on HN ]

There are no comments on this comment yet.