Hacker News new | ask | show | jobs
You Don't Know Jack About Formal Verification (queue.acm.org)
3 points by yarapavan 38 days ago