|
IBM's Verification Track 2005
November 13, 2005
Organized by IBM Research Lab in Haifa, Israel
Workshop Co-chairs
Eyal Bin
IBM, Haifa Research Lab
Haifa 31905
Israel
Tel. +972-4-829-6330
Fax. +972-4-829-6114
Email: bin@il.ibm.com
Avi Ziv
IBM, Haifa Research Lab
Haifa 31905
Israel
Tel. +972-4-829-6454
Fax. +972-4-829-6114
Email: aziv@il.ibm.com
Yaron Wolfsthal
IBM, Haifa Research Lab
Haifa 31905
Israel
Tel. +972-4-829-6277
Fax. +972-4-829-6114
Email: wolfstal@il.ibm.com
| |
|
