Workshop 0368-350044 Home Page
Projects Assignemnts
Project 1 (Model Browser)
Adam Bagdadi
Eitan Volski eitanvol `at' tau.ac.il
Dotan Schriber s_doto `at' yahoo.com
Project 2 (Model Checker)
Rakefet Barad baradrak `at' post.tau.ac.il
Guy Cukirman cukirman `at' post.tau.ac.il
Naama Ben Arie naamabe `at' post.tau.ac.il
Project 3 (Abstract Debugger)
Lior Schachter liorsav `at' gmail.com
Guy Horovitz
Unassigned
Adam Sgoly Shubert adamss `at' post.tau.ac.il
Niv Baster besterni `at' post.tau.ac.il
Oded Levi