Conference
The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract).
Authors
Hoare CAR
Editors
Rombach HD; Maibaum TSE; Zelkowitz MV
Pagination
pp. 233-234
Publisher
IEEE Computer Society
Publication Date
January 1, 1996
ISBN-10
0-8186-7246-3
Conference proceedings
ICSE