| |
| 2001 | ||
|---|---|---|
| 1 | Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham: On the Effective Deployment of Functional Formal Verification. Formal Methods in System Design 19(1): 35-44 (2001) | |
| 1 | Neta Aizenbud-Reshef | [1] |
| 2 | Ilan Beer | [1] |
| 3 | Cindy Eisner | [1] |
| 4 | Daniel Geist | [1] |
| 5 | Tamir Heyman | [1] |
| 6 | Iris Reuveni | [1] |
| 7 | Eran Rippel | [1] |
| 8 | Irit Shitsevalov | [1] |
| 9 | Yaron Wolfsthal (Yaron Wolfstahl) | [1] |
| 10 | Tali Yatzkar-Haham | [1] |