List of Articles ویدا احمدی ثابت Article 1 - تعیین سطح توانایی روش های رسمی در توصیف و تحلیل نرم افزار 20.1001.1.16823745.1391.10.2.1.7 H. Banki V. Ahmadi Sabet Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran , Issue 30 , Year , Summer 2012