An axiomatic basis for computer programming
Communications of the ACM - Special 25th Anniversary Issue
An axiomatic basis for computer programming
Communications of the ACM
An axiomatic basis for computer programming
Software pioneers
Hi-index | 0.02 |