| 2005 | ||
|---|---|---|
| 1 | EE | Greta Yorsh, Alexey Skidanov, Thomas W. Reps, Shmuel Sagiv: Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work. Electr. Notes Theor. Comput. Sci. 131: 125-138 (2005) |
| 1 | Thomas W. Reps | [1] |
| 2 | Shmuel Sagiv (Mooly Sagiv) | [1] |
| 3 | Greta Yorsh | [1] |