Re:Multiple OS Vendors Release Security Patches After Misint...
by learningto on Thursday May 10, 2018 @10:20AM
(#17039046)
It's what formal verification is for!
[ Parent
| on HN ]
There are no comments on this comment yet.