Unit Verification and Core Technologies
Laurent Fournier IBM Haifa Research Lab Haifa University Campus Mount Carmel Haifa 31905 ISRAEL Phone : +972-4-829-6442 Email : laurent@il.ibm.com
