Faculty of Computer Science logo הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل
236346 - פרויקט באימות תכניות בעזרת מחשב 236346 - Project in Computer-aided Verification 236346 - Project in Computer-aided Verification 236346 - Project in Computer-aided Verification
  אביב 2022Spring 2022Весна 2022ربيع 2022