The Role of Formal Techniques: Past‚ Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract) (18th International Conference on Software Engineering‚ Berlin‚ Germany‚ March 25−29‚ 1996‚ Proceedings, 1996)

(untitled) - Hoare, C