Re:Investigating Higher Quality Software
by DanWaterworth on Friday January 16, 2015 @04:22AM
(#8897907)
compcert, sel4, etc.
[ Parent
| on HN ]
There are no comments on this comment yet.