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