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