Կատարվող կոդում սխալների հայտնաբերման դինամիկ վերլուծության մեթոդները

Соискатель
Научный руководитель/Консультант
Искомая ученая степень
Кандидат наук
Специальность
Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում
Ե.13.04
Дата защиты
Завершено

2019

Подтверждено