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