فهرس المقالات عین الله پیرا المقاله 1 - یک هیوریستیک جدید برای تشخیص بن بست در تحلیل ایمنی سیستم های نرم افزاری 20.1001.1.16823745.1401.20.1.8.2 عین الله پیرا فصلنامه مهندسی برق و مهندسی کامپيوتر ايران , العدد 94 , السنة 20 , بهار 1401
