You Don't Know Jack About Formal Verification
(queue.acm.org)
42 points
by eatonphil
5 hours ago |
12 comments
()
()
()
()
()
