An axiomatic basis for computer programm
โ
Hoare, C. A. R.
๐
Article
๐
1969
๐
Association for Computing Machinery
๐
English
โ 641 KB