نام و نام خانوادگی سعید دوست علی شغل نامشخص تحصیلات _ وبسایت پست الکترونیک — مقاله چاپشده مقاله ارائهشده کتاب پایان نامه های تقاضا محور و غیر تقاضا محور طرح پژوهشی خاتمهیافته افتخارات و جوایز استانی، کشوری و بینالمللی ابداع عنوانمجله 1 ASM2Bogor: An approach for verification of models specified through Asmeta language Journal of Visual Languages & Computing