| |
| 1999 | ||
|---|---|---|
| 1 | EE | Yonit Kesten, Amit Klein, Amir Pnueli, Gil Raanan: A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software. World Congress on Formal Methods 1999: 173-194 |
| 1 | Yonit Kesten | [1] |
| 2 | Amit Klein | [1] |
| 3 | Amir Pnueli | [1] |