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