نقدم لكم ملف PDF كامل بعنوان A Theorem Proving Approach to Analysis of Secure Information Flow وهو ضمن التصنيف الرئيسي تكنولوجيا المعلومات والذي يقع تحت التصنيف الفرعي عمارة الكمبيوتر ولغة التجميع يجدر الذكر أن الملف يقع تحت قسم الأبحاث والدراسات العلمية (ملفات PDF).