| |
| * | 2005 | |
|---|---|---|
| 1 | EE | Dalit Naor, Petra Reshef, Ohad Rodeh, Allon Shafrir, Adam Wolman, Eitan Yaffe: Benchmarking and Testing OSD for Correctness and Compliance. Haifa Verification Conference 2005: 158-176 |
| 1 | Dalit Naor | [1] |
| 2 | Petra Reshef | [1] |
| 3 | Ohad Rodeh | [1] |
| 4 | Allon Shafrir | [1] |
| 5 | Eitan Yaffe | [1] |