Výsledky hledání pro autora

1

Obálka

Hardware and Software Verification and Testing : first International Haifa Verification Conference : Haifa, Israel, November 13-16, 2005 : revised selected papers /

Vydáno 2005

Další autoři: '; “...Ur, Shmuel...”

Kniha

2

Obálka

Hardware and Software Verification and Testing : second International Haifa Verification Conference, HVC 2006 : Haifa, Israel, October 23-26, 2006 : revised selected papers /

Vydáno 2006

Další autoři: '; “...Ur, Shmuel...”

Kniha