IBM Leadership Seminars

Hardware Formal Verification using IBM's


February 23, 2010
Organized by IBM Research - Haifa

• Sivan Rabinovich

  Seminar Chair

• Vered Aharon

  Local Arrangements

• Efrat Maimon

  Webmaster