عنوان Towards automated verification of layered graph transformation specifications نوع پژوهش مقاله چاپشده کلیدواژهها ثبت نشدهاست! چکیده ثبت نشدهاست! پژوهشگران پ سپولتینی (نفر چهارم)، ل بارسی (نفر سوم)، عادل قشائشده (نفر دوم)، وحید رافع (نفر اول)