| |
| 2008 | ||
|---|---|---|
| 2 | EE | Yoav Hollander: Is Verification Getting Too Complex? Haifa Verification Conference 2008: 4 |
| 2001 | ||
| 1 | EE | Yoav Hollander, Matthew Morley, Amos Noy: The e Language: A Fresh Separation of Concerns. TOOLS (38) 2001: 41-50 |
| 1 | Matthew Morley | [1] |
| 2 | Amos Noy | [1] |