نقدم لكم ملف PDF كامل بعنوان Implementation of Refining Statements in OpenJML and Verification of Higher Order Methods with Model Program Specifications رسالة ماجستير وهو ضمن التصنيف الرئيسي تكنولوجيا المعلومات والذي يقع تحت التصنيف الفرعي علم الحاسوب يجدر الذكر أن الملف يقع تحت قسم رسائل الماجستير والدكتوراه (ملفات PDF).