TY  - JOUR
AU  - Banki, H.
AU  - Ahmadi Sabet, V.
TI  - تعیین سطح توانایی روش های رسمی در توصیف و تحلیل نرم افزار
JO  - فصلنامه مهندسی برق و مهندسی کامپيوتر ايران
VL  - 10
IS  - 2
SP  - 3
EP  - 19
PY  - 2012
DO  - 
ER  -