Proc. of HVC 2017: the 13th IBM Haifa Verification Conference
Event name
Proc. of HVC 2017: the 13th IBM Haifa Verification Conference
Start date
15-11-2017
End date
17-11-2017
Location
Haifa, Israel
Country
Europe
Event format Veranstaltungsformat
On Site