Haifa Verification Conference

HVC-2010

4th October, 2010: Tutorial Day (at CRI)

5th - 7th October, 2010: Conference (at IBM)

Haifa Verification Conference 2010

HVC-2010

For more information click here