IBM Leadership Seminars

Making the Most of Hardware Formal Verification
June 28, 2010
Organized by IBM Research - Haifa

• Sivan Rabinovich

  Seminar Chair

• Vered Aharon

  Local Arrangements

• Efrat Maimon

  Webmaster