- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 1 |      | 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] |