How Did Software Get So Reliable Without Proof? (1996) [pdf]link.springer.com3 pointsJtsummers3 years ago