Time: Wed 14:30-16:30
Location: Taub 4 & Zoom
Course material and assignments, as well as a link to the Zoom meeting and recordings, are located in Moodle.
הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل | ||||
02360347 - Software Synthesis and Automated Reasoning | ||||
אביב 2022Spring 2022Весна 2022ربيع 2022 | ||||