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