02360346 - Project in Computer-aided Verification, Spring2025

הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل

02360346 - פרויקט באימות תכניות בעזרת מחשב 02360346 - Project in Computer-aided Verification 02360346 - Project in Computer-aided Verification 02360346 - Project in Computer-aided Verification

אביב 2024-2025Spring 2024-2025Весна 2024-2025ربيع 2024-2025

הודעות Announcements Сообщения اعلانات

First lecture postponed

First lecture postponed
Due to severe health issues, the first lecture will not take place as planned. Updates will be posted towards the following week.