| |
| 2006 | ||
|---|---|---|
| 2 | EE | Élodie-Jane Sims: Extending separation logic with fixpoints and postponed substitution. Theor. Comput. Sci. 351(2): 258-275 (2006) |
| 2004 | ||
| 1 | EE | Élodie-Jane Sims: Extending Separation Logic with Fixpoints and Postponed Substitution. AMAST 2004: 475-490 |