- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 1 |      | Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse: Design patterns in separation logic. TLDI 2009: 105-116 |
| 1 | Jonathan Aldrich | [1] |
| 2 | Lars Birkedal | [1] |
| 3 | Alexandre Buisse | [1] |
| 4 | Neelakantan R. Krishnaswami | [1] |