Onn Shehory
AuthID: R-006-J1X
1
TITLE: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
AUTHORS: Kerstin Eder; João Lourenço ; Onn Shehory;
PUBLISHED: 2012, SOURCE: Haifa Verification Conference, VOLUME: 7261
AUTHORS: Kerstin Eder; João Lourenço ; Onn Shehory;
PUBLISHED: 2012, SOURCE: Haifa Verification Conference, VOLUME: 7261
INDEXED IN: 
DBLP
DBLP