Credit points: 3.0
The lectures will be given remotely through Zoom, see "Links".
The lectures will be given remotely through Zoom, see "Links".
הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل | ||||
02360346 - פרויקט באימות תכניות בעזרת מחשב 02360346 - Project in Computer-aided Verification 02360346 - Project in Computer-aided Verification 02360346 - Project in Computer-aided Verification | ||||
אביב 2021Spring 2021Весна 2021ربيع 2021 | ||||