IBM®
Skip to main content
    Israel [change]    Terms of use
  
 
 
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research

Formal Verification and Testing Technologies

Reliable Systems Technologies


Contact Information


Yaron Wolfsthal
IBM Haifa Research Laboratory
Haifa University Campus
Mount Carmel
Haifa 31905
ISRAEL
email : wolfstal@il.ibm.com
fax : +972-4-829-6114

 
 


 


    About IBM    Privacy    Contact