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