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