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