How Did Software Get So Reliable Without Proof? (FME '96: Industrial Benefit and Advances in Formal Methods‚ Third International Symposium of Formal Methods Europe‚ Co−Sponsored by IFIP WG 14.3‚ Oxford‚ UK‚ March 18−22‚ 1996‚ Proceedings, 1996)

(untitled) - Hoare, C