Tony Hoare: How did software get so reliable without proof?

1 points | by fanf2 17 hours ago