Credit points: 3.0
The lectures will be physical. There is no Zoom room this term.
The lectures will be physical. There is no Zoom room this term.
![]() | ||||
236346 - פרויקט באימות תכניות בעזרת מחשב 236346 - Project in Computer-aided Verification 236346 - Project in Computer-aided Verification 236346 - Project in Computer-aided Verification | ||||
אביב 2022Spring 2022Весна 2022ربيع 2022 | ||||