How Did Software Get So Reliable Without Proof? (1996) [pdf]
How Did Software Get So Reliable Without Proof? (1996) [pdf]
Sep 17, 2020, 9:21pm UTC
https://www.gwern.net/docs/math/1996-hoare.pdf