Re:Dramatically Reducing Software Vulnerabilities [pdf]
by jk4930 on Wednesday October 05, 2016 @11:08PM
(#12649936)
Recent article and discussion: https://news.ycombinator.com/item?id=12612856 (A Hoare Logic for Rust)
[ Parent
| on HN ]
There are no comments on this comment yet.