%0 Journal Article
%A بابامیر , سیدمرتضی, احمدی ثابت, ویدا
%T تعیین سطح توانایی روش های رسمی در توصیف و تحلیل نرم افزار
%J فصلنامه مهندسی برق و مهندسی کامپيوتر ايران
%V 10
%N 2
%P 3-19
%D 2012
%R 
%U https://rimag.ir/fa/Article/28028