Hacker Neus
You Don't Know Jack About Formal Verification
(queue.acm.org)
29 points
by eatonphil
5 hours ago |
8 comments
