Haifa Verification Seminar
Website: https://www.research.ibm.com/haifa/Workshops/HVS2019/index.shtml
Location: Haifa, Israel
Conference dates: November 19, 2019
A sharing platform for the Computer-Aided Verification community
Haifa Verification Seminar
Website: https://www.research.ibm.com/haifa/Workshops/HVS2019/index.shtml
Location: Haifa, Israel
Conference dates: November 19, 2019