عنوان Towards automated software model checking using graph transformation systems and Bogor نوع پژوهش مقاله چاپشده کلیدواژهها ثبت نشدهاست! چکیده ثبت نشدهاست! پژوهشگران وحید رافع (نفر اول)، عادل قشائشده (نفر دوم)