FN ISI Export Format
VR 1.0
PT C
AU عین الله پیرا
TI یک هیوریستیک جدید برای تشخیص بن بست در تحلیل ایمنی سیستم های نرم افزاری
PY 2022
