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