Yoav Hollander

Publication Activity (10 Years)

Years Active: 2001-2010
Publications (10 Years): 0

Publications

Yoav Hollander, Alan J. Hu, João Lourenço, Ronny Morad
Special Session on Debugging. Haifa Verification Conference (2010)
Yoav Hollander
Is Verification Getting Too Complex? Haifa Verification Conference (2008)
Yoav Hollander, Matthew Morley, Amos Noy
The e Language: A Fresh Separation of Concerns. TOOLS (38) (2001)