Graphical models of separation logic
Ian Wehrman‚ C. A. R. Hoare and Peter W. O'Hearn
Journal
Inf. Process. Lett.
Number
17
Pages
1001−1004
Volume
109
Year
2009
Ian Wehrman‚ C. A. R. Hoare and Peter W. O'Hearn