DMCA
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]
- [www4.in.tum.de]
- [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]
- [www.spatial.maine.edu]
- [www.win.tue.nl]
- [www.computing.dcu.ie]
- [www.lcc.uma.es]
- [www.cs.iastate.edu]
- [web.cs.iastate.edu]
- DBLP
Other Repositories/Bibliography
by
C. A. R. Hoare
Venue: | COMMUNICATIONS OF THE ACM |
Citations: | 1751 - 4 self |