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