پیرا, عین الله (2022). یک هیوریستیک جدید برای تشخیص بن بست در تحلیل ایمنی سیستم های نرم افزاری. *فصلنامه مهندسی برق و مهندسی کامپيوتر ايران*, 20(1), 73-79.