How did software get so reliable without proof? (1996) [pdf]

Article URL: http://www.gwern.net/docs/math/1996-hoare.pdf

Comments URL: https://news.ycombinator.com/item?id=18050706

Points: 55

# Comments: 20

from Hacker News: Front Page https://ift.tt/2OKHZnx
via