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