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

Defense type
Ph.D.
Specialty
Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում
Ե.13.04
Defense Date
Completed

2019

Confirmed