How Did Software Get So Reliable Without Proof? [pdf]6826.csail.mit.edu2 pointsAndrewDucker2 years ago