3 ms·
How Did Software Get So Reliable Without Proof? (1996) [pdf]
- brianush1 6y agoPrevious discussion: https://news.ycombinator.com/item?id=18050706 https://news.ycombinator.com/item?id=18050706
- sillysaurusx 6y agohttps://news.ycombinator.com/item?id=22478585 https://news.ycombinator.com/item?id=22478585 was another good discussion.