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

Հայցորդ
Գիտական ղեկավար/Խորհրդատու
Հայցվող գիտական աստիճան
Գիտությունների թեկնածու
Մասնագիտություն
Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում
Ե.13.04
Պաշտպանության ամսաթիվ
Ավարտված

2019

Հաստատված