Wehrman, I and Hoare, CAR and O'Hearn, PW (2009) Graphical models of separation logic. Inf. Process. Lett. , 109 , Article 17. 10.1016/j.ipl.2009.06.003.
Full text not available from this repository.
| Type: | Article |
|---|---|
| Title: | Graphical models of separation logic. |
| DOI: | 10.1016/j.ipl.2009.06.003 |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record