Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers /
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 /
Atta-ur-Rahman,International Symposium and pak U. S. Binational Workshop on Nat Products Chemistry.International Symposiums and Pakistan-U. S. Binational Workshop on Natural Products Chemistry (2nd : 1986):New trends in natural products chemistry 1986 : proceedings.Elsevier,1986.
International Symposiums and Pakistan-U. S. Binational Workshop on Natural Products Chemistry (2nd : 1986):New trends in natural products chemistry 1986 : proceedings
Atta-ur-Rahman,International Symposium and pak U. S. Binational Workshop on Nat Products Chemistry.Elsevier,1986.