How did software get so reliable without proof? (1996) (via typesanitizer) — discussion
#historical #pdf #practices
