News for hackers. Stuff that matters.
Re:Investigating Higher Quality Software by DanWaterworth on Friday January 16, 2015 @04:22AM (#8897907)
compcert, sel4, etc.

There are no comments on this comment yet.