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