The Role of Formal Techniques: Past‚ Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract)
C. A. R. Hoare
Book Title
18th International Conference on Software Engineering‚ Berlin‚ Germany‚ March 25−29‚ 1996‚ Proceedings
Editor
H. Dieter Rombach and T. S. E. Maibaum and Marvin V. Zelkowitz
Pages
233−234
Publisher
IEEE Computer Society
Year
1996