| |
| 2008 | ||
|---|---|---|
| 2 | EE | Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli: Oracle Semantics for Concurrent Separation Logic. ESOP 2008: 353-367 |
| 1 | EE | Robert Dockins, Andrew W. Appel, Aquinas Hobor: Multimodal Separation Logic for Reasoning About Operational Semantics. Electr. Notes Theor. Comput. Sci. 218: 5-20 (2008) |
| 1 | Andrew W. Appel | [1] [2] |
| 2 | Robert Dockins | [1] |
| 3 | Francesco Zappa Nardelli | [2] |