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

IBM Verification Conference 2005

IBM Haifa Labs


IBM's Software Testing Track 2005
November 14, 2005
Organized by IBM Research Lab in Haifa, Israel


Workshop Chair


Shmuel Ur
IBM, Haifa Research Lab
Haifa 31905
Israel
Tel. +972-4-829-6250
Fax. +972-4-829-6114
Email: ur@il.ibm.com




 



Related Seminar Links
Visitors information  
Formal Verification and Testing Technologies in HRL  
Simulation based methods in HRL in HRL  


    About IBMPrivacyContact