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

C. A. R. Hoare

Browse the full ICSE paper archive.