Weizmann Institute of Science Prof. Edward A. Lee / /
IndustryTerm
hybrid systems / software verification / /
Organization
Alan Turing Program Committee / UC Berkeley / Weizmann Institute of Science / /
Person
Martina Seidl Onn Shehory Armando / Tom Melham Amir Nahir Martina / Ken McMillan Tom Melham Amir / Michael S. Hsiao Alan Hu Zurab / David Harel / Sharon Barner Hana Chockler Onn / Heike Wehrheim Tanja Vos / Alex Goryachev Ian / Armando Tacchella Helen Treharne Shmuel / Harry Foster Franco Fummi / Mark Last João / Helen Treharne Shmuel Ur Helmut / Hana Chockler Maria Jose Escalona / Ziyad Hanna Mark Harman Klaus Havelund Michael / Karen Yorav Avi Ziv / Amir Nahir Martina Seidl Onn / Shmuel Ur Helmut Veith / Cyrille Artho Armin Biere Roderick / Roderick Bloem Radu Calinescu Hana / Kerstin Eder Eitan Farchi Harry / Hana Chockler Onn Shehory Karen / Ian G. Harris / Maria Jose Escalona Kerstin Eder Eitan / C. Wang Joachim Wegener Heike Wehrheim Tanja / Tanja E.J. Vos / G. Harris Ziyad Hanna Mark / Edward A. Lee / /
Marvell_logotype_spot [Converted]