Haifa Verification Conference 2010

HVC-2010

4th October, 2010: Tutorial Day (at CRI)
5th - 7th October, 2010: Conference (at IBM)

 

For more information click here