H hillelwayne.com Why Don't People Use Formal Methods? 420 points pplonski86 7 years ago 225 comments
