DMCA
Separation Logic: A Logic for Shared Mutable Data Structures (2002)
Cached
Download Links
- [ftp.cs.cmu.edu]
- [staff.um.edu.mt]
- [www.cs.cmu.edu]
- [www-2.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www-2.cs.cmu.edu]
- [www.cs.wm.edu]
- [www.brinckerhoff.org]
- [www.scs.cmu.edu]
- [www.cs.cmu.edu]
- [www.cs.wm.edu]
- [users.dimi.uniud.it]
- [www.brinckerhoff.org]
- [users.dimi.uniud.it]
- [www.comp.nus.edu.sg]
- [www.comp.nus.edu.sg]
- [www-i2.informatik.rwth-aachen.de]
- CiteULike
- DBLP
Other Repositories/Bibliography
by
John Reynolds
Citations: | 950 - 6 self |