HVC Conference 2013

Date: Tuesday, November 5, 2013
Venue: Haifa, Israel

Armin Biere and Roderick Bloem are in the Program Committee of 9th Haifa Verification Conference


Find more details at https://www.research.ibm.com/haifa/conferences/hvc2013/

Posted in Events, News