Faculty of Computer Science logo הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل
236342 - מבוא לאימות תוכנה 236342 - Introduction to Software Verification 236342 - Introduction to Software Verification 236342 - Introduction to Software Verification
  חורף 2019-2020Winter 2019-2020Зима 2019-2020شتاء 2019-2020