How Did Software Get So Reliable Without Proof? (1996) [pdf]6826.csail.mit.edu4 pointsmpweiher3 years ago