نقدم لكم ملف PDF كامل بعنوان
Integrating deductive verification and symbolic execution for abstract object creation in dynamic
وهو ضمن التصنيف الرئيسي
الهندسة
والذي يقع تحت التصنيف الفرعي
هندسة البرمجيات
يجدر الذكر أن الملف يقع تحت قسم
الأبحاث والدراسات العلمية (ملفات PDF).