| |
| 2008 | ||
|---|---|---|
| 3 | EE | Anna Zaks, Amir Pnueli: CoVaC: Compiler Validation by Program Analysis of the Cross-Product. FM 2008: 35-51 |
| 2 | EE | Anna Zaks, Amir Pnueli: Program analysis for compiler validation. PASTE 2008: 1-7 |
| 1 | EE | Anna Zaks, Rajeev Joshi: Verifying Multi-threaded C Programs with SPIN. SPIN 2008: 325-342 |
| 1 | Rajeev Joshi | [1] |
| 2 | Amir Pnueli | [2] [3] |