Faculty of Computer Science logo הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل
02360624 - נושאים מתקדמים בשיטות אימות ה' 02360624 - Advanced Topics in Formal Verification L 02360624 - Advanced Topics in Formal Verification L 02360624 - Advanced Topics in Formal Verification L
  אביב 2019-2020Spring 2019-2020Весна 2019-2020ربيع 2019-2020