How Did Software Get So Reliable Without Proof?
C. A. R. Hoare
Book Title
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
Editor
Marie−Claude Gaudel and Jim Woodcock
Pages
1−17
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
1051
Year
1996