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
Tel. +972-4-829-6250
Fax. +972-4-829-6114


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

    About IBMPrivacyContact