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