Bin, Eyal
[Herausgeber:in];
Ziv, Avi
[Sonstige Person, Familie und Körperschaft];
Ur, Shmuel
[Sonstige Person, Familie und Körperschaft]
;
International Haifa Verification Conference 2 2006 Haifa
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hoboken, NJ: Wiley, 2006
;
Online-Ausg., 2005
Bin, Eyal
[Sonstige Person, Familie und Körperschaft];
Ur, Shmuel
[Sonstige Person, Familie und Körperschaft];
Ziv, Avi
[Sonstige Person, Familie und Körperschaft]
Ur, Shmuel
[Sonstige Person, Familie und Körperschaft];
Bin, Eyal
[Sonstige Person, Familie und Körperschaft];
Wolfsthal, Yaron
[Sonstige Person, Familie und Körperschaft]