%0 Journal Article
%A پیرا, عین الله
%T یک هیوریستیک جدید برای تشخیص بن بست در تحلیل ایمنی سیستم های نرم افزاری
%J فصلنامه مهندسی برق و مهندسی کامپيوتر ايران
%V 20
%N 1
%P 73-79
%D 2022
%R 
%U https://rimag.ir/fa/Article/29179