فهرس المقالات ویدا احمدی ثابت المقاله 1 - تعیین سطح توانایی روش های رسمی در توصیف و تحلیل نرم افزار 20.1001.1.16823745.1391.10.2.1.7 سیدمرتضی بابامیر ویدا احمدی ثابت فصلنامه مهندسی برق و مهندسی کامپيوتر ايران , العدد 30 , السنة 10 , تابستان 1391