APA:
کپیپورمرادیان، حسین، محروقی، حمیدرضا، و جلیلی، رسول. (1389). تحلیل صوری خودکار یک پروتکل رای گیری الکترونیکی با استفاده از حساب پی کاربردی. کنفرانس بین المللی انجمن رمز ایران. SID. https://sid.ir/paper/813109/fa
Vancouver:
کپیپورمرادیان حسین، محروقی حمیدرضا، جلیلی رسول. تحلیل صوری خودکار یک پروتکل رای گیری الکترونیکی با استفاده از حساب پی کاربردی. 1389. Available from: https://sid.ir/paper/813109/fa
IEEE:
کپیحسین پورمرادیان، حمیدرضا محروقی، و رسول جلیلی، “تحلیل صوری خودکار یک پروتکل رای گیری الکترونیکی با استفاده از حساب پی کاربردی،” presented at the کنفرانس بین المللی انجمن رمز ایران. 1389، [Online]. Available: https://sid.ir/paper/813109/fa