Re:Bug finding is slow in spite of many eyeballs
by fdej on Monday February 23, 2015 @01:48PM
(#9096085)
http://compcert.inria.fr/ is the first that comes to mind.
[ Parent
| on HN ]
There are no comments on this comment yet.