New top story on Hacker News: Where are we going from here? Software engineering needs formal methods

Where are we going from here? Software engineering needs formal methods
18 by ntietz | 5 comments on Hacker News.