%0 Conference Proceedings %B Haifa Verification Conference %D 2011 %T Hardware and Software: Verification and Testing %A Eder, Kerstin %A João M. Lourenço %A Onn Shehory %E Eder, Kerstin %E João M. Lourenço %E and Shehory, Onn %C Haifa, Israel %I Springer Berlin / Heidelberg %X

n/a

%Z

n/a