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