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