Ur, Shmuel.,Bin, Eyal.,Wolfsthal, Yaron..Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers /.Springer,,c2006..
Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers /
Dan Yaron,Charles S. Tapiero,ORAGWA International Conference.ORAGWA International Conference (1979 : Jerusalem):Operations research in agriculture and water resources, proceedings.,1980.