## An axiomatic basis for computer programming (1969)

### Cached

### Download Links

- [www.utdallas.edu]
- [www.utdallas.edu]
- [www4.informatik.tu-muenchen.de]
- [www.utdallas.edu]
- [www.utdallas.edu]
- [www.utdallas.edu]
- [www.cs.cornell.edu]
- [ls14-www.cs.uni-dortmund.de]
- [www.cs.ucsb.edu]
- [se.inf.ethz.ch]
- [se.ethz.ch]
- [www.cs.umd.edu]
- [se.inf.ethz.ch]
- [www.cs.uga.edu]
- [www.cs.toronto.edu]
- [www.cs.wm.edu]
- [www.spatial.maine.edu]
- [se.inf.ethz.ch]
- [www.cs.iastate.edu]
- [www.lcc.uma.es]
- [se.inf.ethz.ch]
- [www.brinckerhoff.org]
- [se.inf.ethz.ch]
- [www.win.tue.nl]
- [www.computing.dcu.ie]
- [www.spatial.maine.edu]
- [www.brinckerhoff.org]
- DBLP

### Other Repositories/Bibliography

by
C. A. R. Hoare

Venue: | COMMUNICATIONS OF THE ACM |

Citations: | 1530 - 4 self |