The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract)

@inproceedings{Hoare:ICSE96,
  author    = {C. A. R. Hoare},
  title     = {The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? {(Extended} Abstract)},
  booktitle = {ICSE},
  pages     = {233--234},
  publisher = {{IEEE} Computer Society},
  year      = {1996},
}