News for hackers. Stuff that matters.
Re:Investigating Higher Quality Software by DanWaterworth on Friday January 16, 2015 @04:30AM (#8897932)
I didn't say it couldn't; I didn't say anything about formal verification.

There are no comments on this comment yet.