A Manifesto for Applicable Formal Methods
9 by zdw | 2 comments on Hacker News.