News for hackers. Stuff that matters.

A comment on The Case for Formal Verification (2013). Parent comment

Re:The Case for Formal Verification (2013) by jeffreyrogers on Monday April 21, 2014 @02:33PM (#7622740)
Ah okay, thanks for clearing that up, I wasn't aware that was possible.
[ Parent | on HN ]

There are no comments on this comment yet.