TY  - BOOK
AU  - Վարոսյան,Աննա Սերգեյի
ED  - ՀՀ գիտության ազգային ակադեմիա
ED  - Ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ
TI  - Փոփոխությունների ֆորմալ վերիֆիկացիա բիզնես պրոցեսների շաբլոնների համար: Սեղմագիր ֆիզ.-մաթ. գիտ. թեկն. ... ատենախոս. : Ե.13.04 
PY  - 2011///
CY  - Երևան
KW  - Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում
KW  - Thesis
N1  - Գիտ. ղեկ.՝ Ս.Կ. Շուքուրյան
ER  -