| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 3 |      | Yoav Hollander, Alan Hu, João Lourenço, Ronny Morad: Special Session on Debugging. Haifa Verification Conference 2010: 24-28 |
| 2008 | ||
| 2 | | Yoav Hollander: Is Verification Getting Too Complex? Haifa Verification Conference 2008: 4 |
| 2001 | ||
| 1 | | Yoav Hollander, Matthew Morley, Amos Noy: The e Language: A Fresh Separation of Concerns. TOOLS (38) 2001: 41-50 |
| 1 | Alan Hu | [3] |
| 2 | João Lourenço | [3] |
| 3 | Ronny Morad | [3] |
| 4 | Matthew Morley | [1] |
| 5 | Amos Noy | [1] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page