DMCA
Local Reasoning about Programs that Alter Data Structures (2001)
Cached
Download Links
- [www.dcs.qmw.ac.uk]
- [www.dcs.qmw.ac.uk]
- [www.dcs.qmul.ac.uk]
- [www.eecs.qmul.ac.uk]
- [www0.cs.ucl.ac.uk]
- [www.dcs.qmul.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Peter O'Hearn
,
John Reynolds
,
Hongseok Yang
Citations: | 324 - 28 self |