نقدم لكم ملف PDF كامل بعنوان
Formalised EMFTVM bytecode language for sound verification of model transformations
وهو ضمن التصنيف الرئيسي
الهندسة
والذي يقع تحت التصنيف الفرعي
هندسة البرمجيات
يجدر الذكر أن الملف يقع تحت قسم
الأبحاث والدراسات العلمية (ملفات PDF).