An Axiomatic Basis for Computer Programming by C. A. R. HOARE (cs.ucsb.edu) 1 points by mustapha 12y ago ↗ HN
0 comments
[ 3.1 ms ] story [ 6.9 ms ] threadNo comments yet.