TY  - JOUR
AU  - پیرا, عین الله
TI  - یک هیوریستیک جدید برای تشخیص بن بست در تحلیل ایمنی سیستم های نرم افزاری
JO  - فصلنامه مهندسی برق و مهندسی کامپيوتر ايران
VL  - 20
IS  - 1
SP  - 73
EP  - 79
PY  - 2022
DO  - 
ER  -