Re:Dramatically Reducing Software Vulnerabilities [pdf]
by nickpsecurity on Wednesday October 05, 2016 @01:59PM
(#12646171)
The Amazon reviews on it look good. I like how it's very incremental and more manual than modern provers. The latter being advantages as the beginner will have a glimpse of what they're doing or why. I might order a copy.
[ Parent
| on HN ]
There are no comments on this comment yet.