What Works (and Doesn't) Selling Formal Methods | Hacker News Reader