| |
| 2001 | ||
|---|---|---|
| 1 | EE | Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck: Parameterized Verification with Automatically Computed Inductive Assertions. CAV 2001: 221-234 |
| 1 | Tamarah Arons | [1] |
| 2 | Amir Pnueli | [1] |
| 3 | Sitvanit Ruah | [1] |
| 4 | Lenore D. Zuck | [1] |