APA:
کپیبابامیر، سیدمرتضی، و احمدی ثابت، ویدا. (1391). تعیین سطح توانایی روش های رسمی در توصیف و تحلیل نرم افزار. مهندسی برق و مهندسی کامپیوتر ایران - ب مهندسی کامپیوتر، 10(1)، 3-19. SID. https://sid.ir/paper/228498/fa
Vancouver:
کپیبابامیر سیدمرتضی، احمدی ثابت ویدا. تعیین سطح توانایی روش های رسمی در توصیف و تحلیل نرم افزار. مهندسی برق و مهندسی کامپیوتر ایران - ب مهندسی کامپیوتر[Internet]. 1391؛10(1):3-19. Available from: https://sid.ir/paper/228498/fa
IEEE:
کپیسیدمرتضی بابامیر، و ویدا احمدی ثابت، “تعیین سطح توانایی روش های رسمی در توصیف و تحلیل نرم افزار،” مهندسی برق و مهندسی کامپیوتر ایران - ب مهندسی کامپیوتر، vol. 10، no. 1، pp. 3–19، 1391، [Online]. Available: https://sid.ir/paper/228498/fa