Onn Shehory
AuthID: R-006-J1X
1
TÃTULO: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
AUTORES: Kerstin Eder; João Lourenço ; Onn Shehory;
PUBLICAÇÃO: 2012, FONTE: Haifa Verification Conference, VOLUME: 7261
AUTORES: Kerstin Eder; João Lourenço ; Onn Shehory;
PUBLICAÇÃO: 2012, FONTE: Haifa Verification Conference, VOLUME: 7261
INDEXADO EM: 
DBLP
DBLP